MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

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

Cover Image

2

Fundamentals of Artificial Intelligence : An Advanced Course

by Bibel, Wolfgang, Biermann, A.W., Delgrande, J.P., Huet, G.
Published 1986

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”