Book serie: / Книги серии: Fundamental studies in computer science » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Fundamental studies in computer science

book Automated Theorem Proving. A Logical Basis

Automated Theorem Proving. A Logical Basis

pdf

Author: D. W. Loveland (Auth.)
Language: English
Year: 1978

00

27.01.2024

0

0

book Finite Automata: Behavior and Synthesis

Finite Automata: Behavior and Synthesis

pdf

Author: B. A. Trakhtenbrot Ya. M. Barzdin'
Language: Русский
Year: 1973

00

27.01.2024

0

0