| | | | | | | | | Bild | | | | Bestellen | | 98% |
|
Logic and Its Applications (1 Angebot) This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers... |
Springer Verlag 9783662540688 |
€ 49,99* pro Stück |
| 93% |
|
New Directions in Logic, Language, and Computation (1 Angebot) The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The m... |
Springer Verlag 9783642314667 |
€ 46,00* pro Stück |
| 92% |
|
Computer Science Logic (1 Angebot) Invited Papers.- Local Reasoning about Programs that Alter Data Structures.- Applications of Alfred Tarski's Ideas in Database Theory.- Locus Solum: From the Rules of Logic to the Logic of Rules.- ... |
Springer Verlag 9783540425540 |
€ 99,99* pro Stück |
| 91% |
|
Types for Proofs and Programs (1 Angebot) These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), ... |
Springer Verlag 9783540140313 |
€ 49,99* pro Stück |
|
|