Explore Books on
mathematical logic and formal languages

1-24 of 516 Books

Cover of Reachability Problems by parosh aziz abdulla,igor potapov

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

Cover of Artificial general intelligence by ben goertzel,cassio pennachin

Artificial general intelligence

By Ben Goertzel,Cassio Pennachin

Cover of Computer Games by tristan cazenave,mark h.m. winands,hiroyuki iida

Computer Games

By Tristan Cazenave,Mark H.M. Winands,Hiroyuki Iida

Cover of Logical Foundations of Computer Science by sergei artemov

Logical Foundations of Computer Science

By Sergei Artemov

Cover of Language and Automata Theory and Applications by adrian-horia dediu

Language and Automata Theory and Applications

By Adrian-Horia Dediu

Cover of New Frontiers In Artificial Intelligence by daisuke bekki

New Frontiers In Artificial Intelligence

By Daisuke Bekki

Cover of Intelligent Computer Mathematics by jacques carette

Intelligent Computer Mathematics

By Jacques Carette

Cover of Machine Learning and Data Mining in Pattern Recognition by petra perner

Machine Learning and Data Mining in Pattern Recognition

By Petra Perner

Cover of Fundamentals of Software Engineering by farhad arbab

Fundamentals of Software Engineering

By Farhad Arbab

Cover of Graph Structures for Knowledge Representation and Reasoning by madalina croitoru

Graph Structures for Knowledge Representation and Reasoning

By Madalina Croitoru

Cover of Formal Grammar by glyn morrill,mark-jan nederhof

Formal Grammar

By Glyn Morrill,Mark-Jan Nederhof

Cover of Information Processing and Management of Uncertainty by anne laurent,olivier strauss,bernadette bouchon-meunier,ronald r. yager

Information Processing and Management of Uncertainty

By Anne Laurent,Olivier Strauss,Bernadette Bouchon-Meunier,Ronald R. Yager

Cover of Logica Universalis by jean-yves beziau

Logica Universalis

By Jean-Yves Beziau

Cover of Artificial General Intelligence by kai-uwe kühnberger,sebastian rudolph,pei wang

Artificial General Intelligence

By Kai-Uwe Kühnberger,Sebastian Rudolph,Pei Wang

Cover of Relational and Algebraic Methods in Computer Science by uli fahrenberg,peter jipsen,michael winter

Relational and Algebraic Methods in Computer Science

By Uli Fahrenberg,Peter Jipsen,Michael Winter

Cover of Logic and Its Applications by mohua banerjee,krishna s.

Logic and Its Applications

By Mohua Banerjee,Krishna S.

Cover of Logic for Programming, Artificial Intelligence, and Reasoning by ken mcmillan,aart middeldorp,andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Cover of Finite model theory by heinz-dieter ebbinghaus,jörg flum

Finite model theory

By Heinz-Dieter Ebbinghaus,Jörg Flum

Cover of Descriptional Complexity of Formal Systems by jeffrey shallit,alexander okhotin

Descriptional Complexity of Formal Systems

By Jeffrey Shallit,Alexander Okhotin

Cover of System Modeling and Optimization by dietmar hömberg

System Modeling and Optimization

By Dietmar Hömberg

Cover of Sets, Logic and Maths for Computing by david makinson

Sets, Logic and Maths for Computing

By David Makinson

Cover of Relational and Algebraic Methods in Computer Science by wolfram kahl

Relational and Algebraic Methods in Computer Science

By Wolfram Kahl

Cover of Formal Aspects of Component Software by farhad arbab

Formal Aspects of Component Software

By Farhad Arbab

Cover of Theory and Applications of Models of Computation by manindra agrawal

Theory and Applications of Models of Computation

By Manindra Agrawal