MPG.eBooks - Search Results - "Mathematical Logic"

Search alternatives:
mathematical » mathematics

Cover Image

1

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

by Calmet, Jacques
Published 1998

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Cover Image

2

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings...

by Calmet, Jacques
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”