"Symposium on Logic in Computer Science: Proceedings/86Ch2321-8"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Symposium on Logic in Computer Science: Proceedings/86Ch2321-8	Chairman Ashok K. Chandra	December 1986	Ieee;IEEE Computer Society Press;Order from IEEE Computer Society
12th Annual IEEE Symposium on Logic in Computer Science,June 29-July 2,1997: Proceedings (Symposium on Logic in Computer Science//Proceedings)	Symposium on Logic in Computer Science (12th 1997 Warsaw, Poland)	January 1998	IEEE Computer Society Press
Proceedings of the Third Annual Symposium on Logic in Computer Science, July 5-8, 1988	IEEE Computer Society	1988	Computer Society Press
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science: San Cruz, California June 22-25, 1992 (Symposium on Logic in Computer Science//Proceedings)	Symposium on Logic in Computer Science	June 1992	Ieee Computer Society
Linear Logic in Computer Science	Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott	2004-11	Cambridge University Press
28th Annual Symposium on Foundations of Computer Science: October 12-14,1987 (Symposium on Foundations of Computer Science//Annual Symposium on Foundations of Computer Science)	IEEE Computer Society	February 1988	IEEE Computer Society Press
36th Annual Symposium on Foundations of Computer Science: October 23-25, 1995 Milwaukee, Wisconsin (Symposium on Foundations of Computer Science//Annual Symposium on Foundations of Computer Science)	IEEE Computer Society	October 1995	IEEE Computer Society Press
Logic at Botik ' 89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings	Albert R. Meyer; Michael A. Taitslin	1989	Springer Berlin Heidelberg
Mathematical Logic for Computer Science	Mordechai Ben-Ari	3rd ed. 2012	Springer London
Mathematical Logic for Computer Science	Mordechai Ben-Ari PhD (auth.)	2001	Springer London
Computer Science: Logic and Structure	Susan K. Baumann; Steven L. Mandell	April 1992	West Publishing Company
Mathematical logic for computer science	Chung-wan Lu	1989	World Scientific
Mathematical Logic for Computer Science	Mordechai Ben-Ari	2nd ed. 2001	Springer London
Ewa Orłowska on Relational Methods in Logic and Computer Science	Joanna Golińska-Pilarek; Michał Zawidzki	1st ed. 2018	Springer International Publishing
Computer Science -- Theory and Applications: First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings	Dima Grigoriev; John Harrison; Edward A. Hirsch	2006	Springer Berlin Heidelberg
Mathematical Logic and Theoretical Computer Science	David Kueker	1987	Routledge
Computer Science and Multiple-Valued Logic	David C. Rine	1977	North-Holland
Mathematical logic and theoretical computer science	Smith, Carl H.	1987	M. Dekker
Logic for mathematics and computer science	Stanley Burris	1998	Prentice Hall
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings	Alessio Lomuscio; Donald Nute	2004	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
Logic in computer science	Szöts; M.	Formal methods in computing	Lajos Rónyai	2005	Akadémiai Kiadó
Chapter 8 - Logic and Computer Science		Logicism Renewed: Logical Foundations for Mathematics and Computer Science	Paul C. Gilmore	2005-03	Cambridge University Press
Geometric Logic in Computer Science	Steve Vickers	Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993	Geoffrey Burn; Simon Gay; Mark Ryan	1993	Springer London
Fuzzy Logic in Computer Science	Radim Belohlavek; Rudolf Kruse; Christian Moewes	Computer Science: The Hardware, Software and Heart of It	Edward K. Blum; Alfred V Aho	2011	Springer New York
Logic and Computer Science	Paul C. Gilmore	Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23	Paul C. Gilmore	2005	Routledge
CHAPTER 2 LOGIC IN COMPUTER SCIENCE		Current Trends in Theoretical Computer Science: The Challenge of the New Century (Vol 1: Algorithms and Complexity) (Vol 2: Formal Models and Semantics)	Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa	2004	World Scientific Publishing Company
Influences of Mathematical Logic on Computer Science	Martin Davis	The universal Turing machine: a half-century survey /	Herken, Rolf.	[1995], ©1995.	Springer-Verlag,
Infinitary logic for computer science	Phokion G. Kolaitis; Moshe Y. Vardi	Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings	Werner Kuich	1992	Springer Berlin Heidelberg
Yuri, Logic, and Computer Science	Andreas Blass; Nachum Dershowitz; Wolfgang Reisig	Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday	Andreas Blass; Nachum Dershowitz; Wolfgang Reisig	2010	Springer Berlin Heidelberg
Temporal logic and computer science		Temporal Logic: From Ancient Ideas to Artificial Intelligence	Peter Øhrstrøm; Per Hasle	1995	Springer Netherlands
4. Logic and computer science		Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science	Dag Prawitz; Brian Skyrms; Dag Westerståhl	1995	Elsevier
COMPUTER SCIENCE AND BINARY LOGIC		Real-life math	K. Lee Lerner, Brenda Wilmoth Lerner	2006	Thomson Gale
Temporal logic and computer science	Antony Galton	Temporal logics and their applications	Antony Galton	1987	Academic Press
Applications of Propositional Logic in Computer Science	Mircea Reghiş; Eugene Roventa	Classical and Fuzzy Concepts in Mathematical Logic and Applications	Mircea S. Reghis; Eugene Roventa	1998	Routledge
Further Applications of Logic in Computer Science	Mircea Reghiş; Eugene Roventa	Classical and Fuzzy Concepts in Mathematical Logic and Applications	Mircea S. Reghis; Eugene Roventa	1998	Routledge
Algebra and logic in theoretical computer science	Ferenc Gécseg; Péter E.-Tóth	Mathematical Foundations of Computer Science 1977: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings	J. Gruska	1977	Springer Berlin Heidelberg
Symposium: Justification In Science	Frederic B. Fitch; Arthur W. Burks	Academic Freedom, Logic, and Religion	Morton White	1953	University of Pennsylvania Press
8 - Theoretical Computer Science		Quantum Computing for Computer Scientists	Noson S. Yanofsky; Mirco A. Mannucci	2008-08	Cambridge University Press
Remarks on logic in mathematics and in computer science (G Longo)		Logic Colloquium '88	R. Ferro, C. Bonotto, S. Valentini	1990	Elsevier, Academic Press
From Logic to Theoretical Computer Science	Boris Trakhtenbrot.	People and ideas in theoretical computer science /	Calude, Cristian,	[1999], ©1999.	Springer,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Symposium on Logic in Computer Science: Proceedings/86Ch2321-8" - similar Books and Chapters