Knihu momentálně nemáme skladem

Cooperation in heterogeneous theorem prover networks

Autoři

Dirk Fuchs

Parametry

Kategorie

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

Série: Dissertationen zur künstlichen Intelligenz

Nákup knihy

Cooperation in heterogeneous theorem prover networks, Dirk Fuchs

Jazyk
Rok vydání: 2000

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

Doručení

Platební metody

2021 2022 2023

Navrhnout úpravu