Mathematical Logic And Formal Languages

564 books
Reachability ProblemsParosh Aziz Abdulla
⏱ 3h 43m

Reachability Problems

Parosh Aziz Abdulla

2010223 pp.
Artificial general intelligenceBen Goertzel
⏱ 5h 49m

Artificial general intelligence

Ben Goertzel

2007349 pp.
Logical Foundations of Computer ScienceSergei Artemov
⏱ 6h 47m

Logical Foundations of Computer Science

Sergei Artemov

2007407 pp.
Grammatical InferenceColin de la Higuera
⏱ 7h 12m

Grammatical Inference

Colin de la Higuera

2010432 pp.
Language and Automata Theory and ApplicationsAdrian-Horia Dediu
⏱ 10h 7m

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012607 pp.
Logica UniversalisJean-Yves Beziau
⏱ 3h 48m

Logica Universalis

Jean-Yves Beziau

2005228 pp.
Computer GamesTristan Cazenave
⏱ 3h 11m

Computer Games

Tristan Cazenave

2014191 pp.
Logic, Mathematics, and Computer ScienceYves Nievergelt
⏱ 6h 43m

Logic, Mathematics, and Computer Science

Yves Nievergelt

2015403 pp.
Mathematical foundations of programmingFrank S. Beckman
⏱ 7h 23m

Mathematical foundations of programming

Frank S. Beckman

1980443 pp.
Mathematical Logic for Computer ScienceMordechai Ben-Ari

Mathematical Logic for Computer Science

Mordechai Ben-Ari

2001No page data
The Argument of MathematicsAndrew Aberdein
⏱ 6h 33m

The Argument of Mathematics

Andrew Aberdein

2013393 pp.
Sets, Logic and Maths for ComputingDavid Makinson
⏱ 6h 2m

Sets, Logic and Maths for Computing

David Makinson

2008362 pp.
Formal Languages And CompilationLuca Breveglieri
⏱ 6h 52m

Formal Languages And Compilation

Luca Breveglieri

2013412 pp.
Grammatical inferenceInternational Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France)
⏱ 5h 3m

Grammatical inference

International Colloquium on Grammatical Inference (9th 2008 Saint-Malo, France)

2008303 pp.
LogicaVito Michele Abrusci
⏱ 5h 21m

Logica

Vito Michele Abrusci

2014321 pp.
Intelligent Computer MathematicsJacques Carette
⏱ 6h 40m

Intelligent Computer Mathematics

Jacques Carette

2009400 pp.
Fundamentals of Software EngineeringFarhad Arbab
⏱ 6h 32m

Fundamentals of Software Engineering

Farhad Arbab

2010392 pp.
Programming LogicsAndrei Voronkov
⏱ 7h 36m

Programming Logics

Andrei Voronkov

2013456 pp.
Perspectives in Computational ComplexityManindra Agrawal
⏱ 3h 22m

Perspectives in Computational Complexity

Manindra Agrawal

2014202 pp.
Machine Learning and Data Mining in Pattern RecognitionPetra Perner
⏱ 8h 45m

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

2011525 pp.
Page 1 of 29Next →