Knihu momentálně nemáme skladem

First order logic and automated theorem proving

Name: First order logic and automated theorem proving
Rating: 4.75 (4 reviews)

Autoři

First order logic and automated theorem proving, Melvin Fitting

Jakmile se objeví, pošleme e-mail.

4,8

Výborná

4 Hodnocení

Tady nám chybí tvá recenze.

Informace o vydáníNavrhnout úpravu