Blog
Všetko o nákupe
Kontakt
Hľadajte knihu, autora alebo kategóriu...
Predaj kníh
Tipy na darčeky
Komu chcete darovať knihu?
Darčeky pre najmenších
Darčeky pre mladších školákov
Darčeky pre starších školákov
Darčeky pre mamu
Darčeky pre otca
Darčeky pre babičku
Darčeky pre dedka
Dajte na naše rady!
BookTok
Dánovky
Evitovky
Súčasná slovenská próza
Reportážna literatúra
Anasoft Litera
Sfilmované knihy
Beletria
Beletria
Slovenská beletria
Česká beletria
Svetová beletria
Sci-fi a fantasy
Detektívky a thrillery
Romantika
Historická beletria
Komiksy
Náučná a odborná
Naučná a odborná
Encyklopédie
Dejiny a história
Hobby a domov
Motivácia a sebarozvoj
Psychológia
Šport
Umenie a kultúra
Životopisy a myšlienky
Pre deti a mládež
Pre tých najmenších
Rozprávky
Leporelo
Kontrastné leporelá
Pre mladších čitateľov
Všetky knihy pre mladších čitateľov
Prvé čítanie
Mladší školáci
Rozprávky
Detské encyklopédie
Vystrihovačky
Pre starších čitateľov
Všetky knihy pre starších čitateľov
Starší školáci
Herné knihy
Rozprávky
Detské encyklopédie
Mládež
Všetky knihy pre mládež
Young adult
Horory pre mládež
Ďalšie kategórie
Ďalšie kategórie
Kuchárky
Učebnice
Mapy a cestovanie
Ezoterika a náboženstvo
Podľa jazyka
Podľa jazyka
Knihy v angličtine
Knihy v slovenčine
Knihy v češtine
Knihy v nemčine
Knihy vo francúzštine
Knihy v maďarčine
Knihy v španielčine
Knihy v taliančine
Knihy v poľštine
Knihy v ruštine
knihobot.sk
/
Všetky knihy
/
Počítače, IT, programovanie
/
A tactic based inductive theorem prover for data types with partial operations
Kniha momentálne nie je na sklade
A tactic based inductive theorem prover for data types with partial operations
Autori
Ulrich Kühler
Parametre
ISBN
9783898382380
Vydavateľstvo
Akad. Verl.-Ges. Aka
Kategórie
Počítače, IT, programovanie
Dissertationen zur künstlichen Intelligenz
Navrhnúť zmenu
Variant knihy
2000
Nákup knihy
Kniha momentálne nie je na sklade.
Strážiť dostupnosť knihy
20002000
20002000