"Terms and Automata Through Logic" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Logic, Automata, and Algorithms	Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Aleksey A. Tal' (Eds.)	1971	AP
Logic and Automata: History and Perspectives	Jorg Flum, Erich Gradel, Thomas Wilke	2008	Amsterdam University Press
Logic Synthesis for Control Automata	Samary Baranov	1994	Springer US
Finite Automata, Formal Logic, and Circuit Complexity	Howard Straubing	1994	Birkhäuser Boston
Computation Engineering: Applied Automata Theory and Logic	Ganesh Gopalakrishnan	2006	Springer US
Introduction to Computation: Haskell, Logic and Automata	Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler	1st ed. 2021	Springer International Publishing
Infinite words. Automata, Semigroups, Logic and Games	Dominique Perrin, Jean-Eric Pin	2004	Elsevier
Key Terms in Logic	Jon Williamson, Federica Russo	2010	Continuum
Mathematical Logic through Python	Yannai A. Gonczarowski; Noam Nisan	2022-09	Cambridge University Press
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology	Radomir S. Stankovic; Jaakko Astola	2011	Springer Berlin Heidelberg
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic	Benedikt Bollig	2006	Springer Berlin Heidelberg
Automata	David Hopkin, Barbara Moss (auth.)	1976	Macmillan Education UK
Automata and Computability	Dexter C. Kozen	1997	Springer New York
Automata and Computability	Dexter C. Kozen	1977	Springer Berlin Heidelberg
Codes and Automata	Jean Berstel; Dominique Perrin; Christophe Reutenauer	2009-11	Cambridge University Press
Puppets and automata.	Max von Boehn	1972	Dover Publications
Computation and Automata	Arto Salomaa	1985-05	Cambridge University Press
Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective	Trailokya Nath Sasamal; Ashutosh Kumar Singh; Anand Mohan	1st ed. 2020	Springer Nature Singapore
A Tour Through Mathematical Logic	Robert S. Wolf	2005	The Mathematical Association of America
Something To Reckon With: The Logic of Terms	George Englebretsen	1996	University of Ottawa Press
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
Terms and Automata Through Logic	Kamal Lodaya	Handbook of Logical Thought in India	Sundar Sarukkai; Mihir Chakraborty	0th ed. 2020	Springer India
Logic and Branching Automata	Nicolas Bedon	Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings	Krishnendu Chatterjee; Jirí Sgall	2013	Springer Berlin Heidelberg
Automata, Logic, and XML	Frank Neven	Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September	Julian Bradfield	2002	Springer Berlin Heidelberg
Languages, Automata, and Logic	Wolfgang Thomas	Handbook of Formal Languages: Volume 3 Beyond Words	Grzegorz Rozenberg; Arto Salomaa	1997	Springer Berlin Heidelberg
6. Automata and Logic		The spin model checker: primer and reference manual /	Holzmann, Gerard J.	c2004.	Addison-Wesley,
Automata on Terms	Dexter C. Kozen	Automata and Computability	Dexter C. Kozen	1997	Springer New York
Logic Finite Automata	Klaus U. Schulz; Dov M. Gabbay	Applied Logic: How, What and Why: Logical Approaches to Natural Language	László Pólos; M. Masuch	1995	Springer Netherlands
Logic of automata		A survey of mathematical logic	Wang, Hao	1963	Elsevier Science
LOGIC TERMS	H.W. Moorshead	Newnes Radio and Electronics Engineer's Pocket Book (Fifteenth Edition)	H. W. Moorshead; R. Adron Harris and J. Perry	1978	Newnes
Logic terms	Keith Brindley	Newnes Radio and Electronics Engineer's Pocket Book (Eighteenth Edition)	Keith Brindley	1989	Newnes
Logic terms	Keith Brindley	Newnes Radio and Electronics Engineer's Pocket Book (Seventeenth Edition)	Keith Brindley	1987	Butterworth-Heinemann
Logic terms	Keith Brindley	Newnes Electronics Engineers Pocket Book	Keith Brindley	1993	Newnes
Grammars for terms and automata	D. Siefkes	Computation Theory and Logic	Egon Börger	1987	Springer Berlin Heidelberg
Tree automata and logic programs	Gilberto Filé	STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985	K. Mehlhorn	1985	Springer Berlin Heidelberg
Quantum logic and automata theory	Mingsheng Ying	Handbook of Quantum Logic and Quantum Structures: Quantum Structures	Kurt Engesser; Dov M. Gabbay and Daniel Lehmann	2007	Elsevier Science B.V.
75 Grammars, Automata, and Logic		Logic, Language, and Meaning: Introduction to Logic, Vol. 1	Gamut L.T.F.	1991	U.Chicago Press
Probabilistic Automata and Probabilistic Logic	Thomas Weidner	Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings	Branislav Rovan; Vladimiro Sassone; Peter Widmayer	2012	Springer Berlin Heidelberg
Automata theory and logic machines		The computer from Pascal to von Neumann	Herman H. Goldstine	1972	Princeton University Press
Logic of terms		A history of formal logic	Joseph M. Bochenski, Ivo Thomas	1961	University of Notre Dame Press
Logic of terms		A history of formal logic	Joseph M. Bochenski, Ivo Thomas	1961	University of Notre Dame Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries