Book serie: / Книги серии: Harper & Row computer science and technology series » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Harper & Row computer science and technology series

book Logic for computer science: foundations of automatic theorem proving

Logic for computer science: foundations of automatic theorem proving

pdf

Author: Jean H. Gallier
Language: English
Year: 1986

00

26.01.2024

0

0