Knihu momentálně nemáme skladem

Theorem proving in higher order logics

Autoři

Yves Bertot

Parametry

Kategorie

Počítače, IT, programování

Série: Lecture notes in computer science

Nákup knihy

Theorem proving in higher order logics, Yves Bertot

Jazyk
Rok vydání: 1999

Jakmile ji vyčmucháme, pošleme vám e-mail.

Doručení

Platební metody

2021 2022 2023

Navrhnout úpravu