✦ LIBER ✦

[Lecture Notes in Computer Science] Logics of Programs Volume 131 || Design and synthesis of synchronization skeletons using branching time temporal logic

✍ Scribed by Kozen, Dexter

Book ID: 111957794
Publisher: Springer-Verlag
Year: 1982
Tongue: German
Weight: 953 KB
Edition: 1982
Category: Article
ISBN-13: 9783540112129
DOI: 10.1007/bfb0025774

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || On Garbage and Program Logic

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 167 KB

[Lecture Notes in Computer Science] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Memory performance of Lisp and Prolog programs

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 424 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA

✍ Fisher, Michael; Hoek, Wiebe; Konev, Boris; Lisitsa, Alexei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

This Book Constitutes The Refereed Proceedings Of The 10th European Conference On Logics In Artificial Intelligence, Jelia 2006. The 34 Revised Full Papers And 12 Revised Tool Description Papers Presented Together With 3 Invited Talks Were Carefully Reviewed And Selected From 96 Submissions. The Pap

[Lecture Notes in Computer Science] Know

[Lecture Notes in Computer Science] Knowledge Discovery in Databases: PKDD 2003 Volume 2838 || Application of Inductive Logic Programming to Structure-Based Drug Design

✍ Lavrač, Nada; Gamberger, Dragan; Todorovski, Ljupčo; Blockeel, Hendrik 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 274 KB

The proceedings of ECML/PKDD2003 are published in two volumes: the P- ceedings of the 14th European Conference on Machine Learning (LNAI 2837) and the Proceedings of the 7th European Conference on Principles and Practice of Knowledge Discovery in Databases (LNAI 2838). The two conferences were held

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 6355 || A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

✍ Clarke, Edmund M.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 385 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Modeling and Using Context Volume 2680 || A Contextual Approach to the Logic of Fiction

✍ Blackburn, Patrick; Ghidini, Chiara; Turner, Roy M.; Giunchiglia, Fausto 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 452 KB

This book constitutes the refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion