Knihu momentálně nemáme skladem

Theorem proving in higher order logics

Autoři

Yves Bertot

Parametry

ISBN: 9783540664635
Nakladatelství: Springer

Kategorie

Navrhnout úpravu

Varianta knihy

1999

Nákup knihy

Kniha aktuálně není skladem.