"From Program to Logic: An Introduction" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic: An Introduction to Elementary Logic	Wilfrid Hodges	1977	Penguin
An Introduction to Logic	David Mitchell	1962	Routledge
An introduction to logic	H. W. B. Joseph	1916	Clarendon Press
An introduction to logic	Jacques Maritain, Imelda Choquette	1937	Sheed & Ward
An introduction to logic	H. W. B. Joseph	1916	Clarendon Press
An introduction to logic.	William Henry Stanley Monck	1890	Hodges, Figgis; [etc]
An introduction to logic	H. W. B. Joseph	1916	Oxford University Press
An introduction to logic	H. W. B. Joseph	1925	Clarendon Press
An introduction to logic	H. W. B. Joseph	1906	Clarendon Press
An Introduction to Logic	H. W. B. Joseph	October 2000	Paper Tiger (NJ)
An introduction to logic.	William Henry Stanley Monck	1890	Hodges
An introduction to logic	Morris Raphael Cohen	1993	Hackett Pub. Co.
An introduction to logic	Jacques Maritain	1937	Sheed & Ward
An Introduction to Default Logic	Philippe Besnard	1989	Springer Berlin Heidelberg
An Introduction to Description Logic	Franz Baader; Ian Horrocks; Carsten Lutz; Uli Sattler	2017-04	Cambridge University Press
An Introduction to Foundational Logic	Dennis Q. McInerny	2012	Priestly Fraternity of St. Peter
An Introduction to Formal Logic	Peter Smith	2020	Cambridge University Press
An Introduction to Modal Logic	G. E. Hughes, M. J. Cresswell	1972	Methuen
An Introduction to Formal Logic	Peter Smith	2003	Cambridge University Press
An Introduction to Digital Logic	A. Potton (auth.)	1973	Macmillan Education UK
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
From Program to Logic: An Introduction	Patrice Godefroid; Shuvendu K. Lahiri	Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures	Bertrand Meyer; Martin Nordio	2012	Springer Berlin Heidelberg
From Program to Logic: An Introducti		Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures	Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)	2012	Springer-Verlag Berlin Heidelberg
An Introduction to Logic	Luc De Raedt	Logical and Relational Learning	Luc De Raedt	2008	Springer Berlin Heidelberg
An Introduction To Logic	H. Paul Williams	Logic and Integer Programming	H. Paul Williams	2009	Springer US
An Introduction to Logic Programming		Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines	Alakananda Bhattacharya; Amit Konar; Ajit K. Mandal	2006	Springer Berlin Heidelberg
An introduction to specification logic	John C. Reynolds	Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983	E. Clarke; D. Kozen	1984	Springer Berlin Heidelberg
An Introduction to Mathematical Logic		Discrete Algorithmic Mathematics	Stephen B. Maurer	2005	Routledge
An introduction to digital logic	Kirk Ross; Hunt Andy	Digital Sound Processing for Music and Multimedia	Ross Kirk; Andy Hunt	1999	Routledge
An Introduction to Programmable Logic	James D. Broesch	Practical Programmable Circuits	James D. Broesch	1991	Academic Press
An Introduction to Deductive Logic		CRITICAL THINKING: understanding and evaluating dental research.	DONALD MAXWELL BRUNETTE	2020	QUINTESSENCE PUBLISHING
An Introduction to Context Logic	Philippa Gardner; Uri Zarfaty	Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings	Daniel Leivant; Ruy de Queiroz	2007	Springer Berlin Heidelberg
An introduction to logic programming	K. L. Clark	Introductory readings in expert systems	Donald Michie	1982	Gordon and Breach
An Introduction to Symbolic Logic		Theorems, Corollaries, Lemmas, and Methods of Proof	Richard J. Rossi	2006	John Wiley & Sons
An Introduction to Formal Logic		An Introduction to Formal Logic	Peter Smith	2003	Cambridge University Press
An Introduction to Logic Programmi		Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines	Dr. Alakananda Bhattacharya, Prof. Dr. Amit Konar, Prof. Dr. Ajit K. Mandal (auth.)	2006	Springer-Verlag Berlin Heidelberg
An Introduction to Separation Logic		Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security	M. Broy, W. Sitou and T. Hoare	2009	IOS Press
3. An Introduction to Logic		Critical thinking: understanding and evaluating dental research /	Brunette, Donald Maxwell.	[1996], ©1996.	Quintessence Pub.,
An Introduction to Program Creati		Microelectronic and Microprocessor-based Systems	Noel M. Morris (auth.)	1985	Macmillan Education UK
An introduction to program evaluation		Program evaluation for social work and health professionals	Michael J. Smith	2010	Oxford University Press
From Hilbert’s Program to a Logic Toolbox	Johann A. Makowsky	Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings	Nachum Dershowitz; Andrei Voronkov	2007	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries