MPG.eBooks - Search Results - "mathematical logic and foundations"

1101

Distributed Artificial Intelligence: Architecture and Modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1102

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1103

Handbook of Model Checking

Published 2018

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1104

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1105

Number Theory : An approach through history From Hammurapi to Legendre

by Weil, André
Published 2001

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1106

Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.
Published 2002

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1107

Adaptive Resonance Theory Microchips : Circuit Design Techniques

by Serrano-Gotarredona, Teresa, Linares-Barranco, Bernabé, Andreou, Andreas G.
Published 1998

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1108

Foundations of Image Understanding

Published 2001

Springer US

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1109

Modeling Nature : Cellular Automata Simulations with Mathematica®

by Gaylord, Richard J., Nishidate, Kazume
Published 1996

Springer New York

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1110

Automata Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers

Published 1999

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1111

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1112

Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday

Published 1993

Birkhäuser

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1113

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1114

Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1115

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1116

Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories

by Manin, Yu. I., Panchishkin, Alexei A.
Published 2005

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1117

Reduktionssysteme : Rechnen und Schließen in gleichungsdefinierten Strukturen

by Avenhaus, Jürgen
Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1118

Relations and Graphs : Discrete Mathematics for Computer Scientists

by Schmidt, Gunther, Ströhlein, Thomas
Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1119

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990

Published 1990

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

1120

Number Theory I : Fundamental Problems, Ideas and Theories

by Manin, Yu. I., Panchishkin, Alexei A.
Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Narrow Search