Top 1200 logic programming PDF Book Page 13
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings
Peter Selinger (auth.), Yukiyoshi Kameyama, Peter J. Stuckey (eds.)
·319 Pages
·2004
·5.423 MB
Handbook of Philosophical Logic. Volume I: Elements of Classical Logic
Dov M. Gabbay, Franz Guenthner (eds.)
·503 Pages
·1983
·13.708 MB
Inductive Logic Programming: 9th International Workshop, ILP-99 Bled, Slovenia, June 24–27, 1999 Proceedings
Daphne Koller (auth.), Sašo Džeroski, Peter Flach (eds.)
·307 Pages
·1999
·15.546 MB
Managerial Logic
Herve Raynaud
·410 Pages
·2011
·6.65 MB
Concepts in Programming Languages
John C. Mitchell, Krzysztof Apt
·584 Pages
·2001
·7.591 MB
aristotelian logic
36 Pages
·2013
·0.23 MB
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies
Gabbay D.M.
·528 Pages
·1994
·4.17 MB
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations
Gabbay D.M.
·535 Pages
·1993
·4.16 MB
Modal Logic and Classical Logic
Johan van Benthem
·217 Pages
·1983
·4.976 MB
Set theory and logic
Robert Roth Stoll
·510 Pages
·2011
·10.85 MB
Computability and Logic Boolos
370 Pages
·22.55 MB
Soft Logic
Joseph Grunfeld
·548 Pages
·2000
·67.39 MB
Introductory Modal Logic
Kenneth Konyndyk
·145 Pages
·1986
·3.67 MB
Logic, Language and Games
Gabriel Sandu
·152 Pages
·2015
·6.689 MB
Rationality and Logic
Robert Hanna
·341 Pages
·2006
·1.168 MB
Logic colloquium 2007
Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan
·283 Pages
·2010
·1.523 MB
Logic
Wesley C. Salmon
·158 Pages
·1973
·2.664 MB
An Introduction to Logic
Morris R. Cohen, Ernest Nagel; John Corcoran (ed.)
·292 Pages
·1993
·31.952 MB
Lectures on Linear Logic
A. S. Troelstra
·216 Pages
·1992
·5.719 MB
Logic: The Basics
J.C. Beall
·201 Pages
·2010
·1.967 MB
Fundamentals of Digital logic
864 Pages
·2013
·5.64 MB
Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings
Gopalan Nadathur (auth.), Herbert Kuchen, Kazunori Ueda (eds.)
·400 Pages
·2001
·11.465 MB
Ambiguity and Logic
Frederic Schick
·166 Pages
·2003
·1.019 MB
Handbook of Logic and Language
Johan van Benthem
·1273 Pages
·1997
·0.34 MB
