Book serie: / Книги серии: Lecture Notes in Computer Science 87 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 87

book 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

pdf

Author: Luigia Aiello Richard W. Weyhrauch (auth.) Wolfgang Bibel Robert Kowalski (eds.)
Language: English
Year: 1980

00

27.01.2024

0

0

book 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

djvu

Author: Luigia Aiello Richard W. Weyhrauch (auth.) Wolfgang Bibel Robert Kowalski (eds.)
Language: English
Year: 1980

00

27.01.2024

0

0