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

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Computer Science

年:

2024

出版社:

World Scientific Publishing Co Pte Ltd

语言:

english

文件:

PDF, 11.24 MB

IPFS:

,

english, 2024

线上阅读

正在转换

转换为失败

您可能会感兴趣

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)

关键词