Fundraising September 15, 2024 – October 1, 2024 About fundraising

Logical Foundations of Computer Science (In 2 Volume)

Main
Computers - Computer Science
Logical Foundations of Computer Science...

Logical Foundations of Computer Science (In 2 Volume)

Peter A. Fejer & Dan A. Simovici

0 / 5.0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Computers - Computer Science

Year:

2024

Publisher:

World Scientific Publishing Co Pte Ltd

Language:

english

File:

PDF, 11.24 MB

IPFS:

,

english, 2024

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Arindama Singh — Logics for Computer Science, 2nd Edition

Chiswell Ian — Mathematical Logic

Wolfgang Rautenberg [Rautenberg, Wolfgang] — A Concise Introduction to Mathematical Logic

Marker, David — Model theory

Caferra, Ricardo — Logic for computer science and artificial intelligence

Rautenberg, Wolfgang — A Concise Introduction to Mathematical Logic

Ricardo Caferra — Logic for Computer Science and Artificial Intelligence

Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas — Mathematical Logic

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

Franz Baader, Andrei Voronkov — Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.) — Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Michel Parigot, Andrei Voronkov — Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.) — Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.) — Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) — Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.) — Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Chiswell, Ian; Hodges, Wilfrid — Mathematical logic

Mundici, Daniele — Logic: a brief course

Esfandiar Haghverdi, Liugen Zhu — Mathematical Foundations of Information Sciences

Peter Fejer, Dan A Simovici — Logical Foundations of Computer Science (in 2 Volumes)

Most frequently terms