MPG.eBooks - Search Results - "Lecture Notes in Artificial Intelligence"

Cover Image

1

Computational Aspects of an Order-Sorted Logic with Term Declarations

by Schmidt-Schauß, Manfred
Published 1989

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”