"Physical Computation and First-Order Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
First-Order Logic	Raymond R. Smullyan	1968	Springer Berlin Heidelberg
First-Order Logic	Raymond M. Smullyan	1995	Courier Corporation
First-Order Logic	Smullyan R.M.	1995	Dover
First-order logic	Raymond M. Smullyan	1968	Springer-Verlag
First-Order Modal Logic	M. Fitting; Richard L. Mendelsohn	1998	Springer Netherlands
First-Order Dynamic Logic	D. Harel	1979	Springer Berlin Heidelberg
First order mathematical logic	Angelo Margaris	1967	Blaisdell Pub. Co
First Order Mathematical Logic	Angelo Margaris	1990	Courier Corporation
First Order Mathematical Logic	Angelo Margaris	1990	Courier Corporation
Extensions of first order logic	Manzano M.	1996	Cambridge University Press
Extensions of First-Order Logic	Maria Manzano	2005	Cambridge University Press
Computation Theory and Logic	Egon Börger	1987	Springer Berlin Heidelberg
Logic, language and computation	Seiki Akama (eds.)	1997	Springer Netherlands
Logic, Language and Computation	Seiki Akama	1997	Springer Netherlands
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1990	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	2nd ed. 1996	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1996	Springer
Logic, Computation, Hierarchies	Vasco Brattka; Hannes Diener; Dieter Spreen	2014	De Gruyter
Logic, Construction, Computation	Ulrich Berger; Hannes Diener; Peter Schuster; Monika Seisenberger	2012	De Gruyter
Logic of Computation	Helmut Schwichtenberg	1997	Springer Berlin Heidelberg
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
Physical Computation and First-Order Logic	Richard Whyman	Machines, Computations, and Universality: 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings	Jérôme Durand-Lose; Sergey Verlan	1st ed. 2018	Springer International Publishing
First-Order Logic	Melvin Fitting	First-Order Logic and Automated Theorem Proving	Melvin Fitting	2nd ed. 1996	Springer New York
First-Order Logic	Wolfgang Rautenberg	A Concise Introduction to Mathematical Logic	Wolfgang Rautenberg	3rd ed. 2010	Springer New York
First-Order Logic	Peter A. Flach	Encyclopedia of Machine Learning and Data Mining	Claude Sammut; Geoffrey I. Webb	2nd ed. 2017	Springer US
First-Order Logic	Martin Giese	Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino	Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt	2007	Springer Berlin Heidelberg
First Order Logic	Philippe Besnard	An Introduction to Default Logic	Philippe Besnard	1989	Springer Berlin Heidelberg
First-order logic		Isabelle: A Generic Theorem Prover	Lawrence C. Paulson	1994	Springer Berlin Heidelberg
First-Order Logic	Alexander Prestel; Charles N. Delzell	Mathematical Logic and Model Theory: A Brief Introduction	Alexander Prestel; Charles N. Delzell	2011	Springer London
First-Order Logic	Melvin Fitting	First-Order Logic and Automated Theorem Proving	Melvin Fitting	1990	Springer New York
First-Order Logic	Howard Straubing	Finite Automata, Formal Logic, and Circuit Complexity	Howard Straubing	1994	Birkhäuser Boston
First-order logic	Richard E. Neapolitan; Xia Jiang	Artificial Intelligence: With an Introduction to Machine Learning	Richard E. Neapolitan; Xia Jiang	2018	Routledge
First-order logic	Peter J. Cameron	Sets, Logic and Categories	Peter J. Cameron	1998	Springer London
First-Order Logic	Dirk Bühler; Wolfgang Minker	Domain-Level Reasoning for Spoken Dialogue Systems	Dirk Bühler; Wolfgang Minker	2011	Springer New York
First-Order Logic		The Calculus of Computation: Decision Procedures with Applications to Verification	Aaron R. Bradley; Zohar Manna	2007	Springer Berlin Heidelberg
First-Order Logic	Peter A. Flach	Encyclopedia of Machine Learning	Claude Sammut; Geoffrey I. Webb	2010	Springer US
First-Order Logic	José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa	Rigorous Software Development: An Introduction to Program Verification	José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa	2011	Springer London
First-order logic	Richard Lassaigne; Michel de Rougemont	Logic and Complexity	Richard Lassaigne; Michel de Rougemont	2004	Springer London
First-Order Logic		Encyclopedia of Sciences and Religions	Anne Runehov; Lluis Oviedo	2013	Springer Netherlands
First-Order Logic	Peter G. Hinman	Fundamentals of Mathematical Logic	Peter G. Hinman	2005	Routledge
First-order logic	M. Downward	Logic And Declarative Language	M. Downward	1998	Routledge
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Physical Computation and First-Order Logic" - similar Books and Chapters