Communiqués par Manfred Schmidt-schaus

Cover for Manfred Schmidt-schaus · Computational Aspects of an Order-sorted Logic with Term Declarations - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (1989)
Paperback Book
1989 edition
Computational Aspects of an Orde...
Manfred Schmidt-schaus