Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Automatic theorem proving
Computer programming
Théorèmes
Programmation (Informatique)
Informatique.
Automatic theorem proving.
Computer programming.
Congress
Conference papers and proceedings.
Actes de congrès.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Summary goes here
Popis jednotky:General Notes
Fyzický popis:1 online resource (vi, 202 pages) :illustrations
ISBN:9783540681038
3540681035
9783540680840
3540680845
9788354068105
8354068102