Blog
Kariéra
Vše o nákupu
Pobočky
Kontakt
Hledejte knihu, autora nebo kategorii...
Prodat knihy
Tipy na dárky
Komu chcete dát knihu?
Dárky pro nejmenší
Dárky pro mladší školáky
Dárky pro větší školáky
Dárky pro mámu
Dárky pro tátu
Dárky pro babičku
Dárky pro dědu
Nechte si poradit!
BookTok
Knižní sety
Vánoční knihy
Autofikce
Zfilmované knihy
Alternativní komiks
Magický realismus
Beletrie
A-F
Beletrie
Česká próza
Detektivky a thrillery
Dobrodružné
G-P
Historické
Horory
Humor
Komiksy
Manga
Poezie
Pohádky
Postapo
Q-Z
Reportážní literatura
Romantika
Sci-fi a fantasy
Severské detektivky
Válečná beletrie
Young adult
Zfilmované knihy
Ztracená generace
Naučná a odborná
A-H
Architektura, urbanismus
Astronomie a vesmír
Automoto
Cestopisy
Česká a slovenská historie
Design
Encyklopedie
Esoterika a náboženství
Filosofie
Fotopublikace
Herní knihy
Historie
Hobby a domov
Hudba
I-P
Jazykové slovníky a učebnice
Kuchařky
Manželství a partnerství
Marketing
Matematika
Mateřství a rodičovství
Motivace a seberozvoj
Počítače, IT a programování
Podnikání a ekonomie
Politologie a politika
Psychologie
R-U
Reportážní literatura
Rostliny a pěstitelství
Společenské vědy
Sport
True crime
Turistika
Učebnice
UFO
Umění a kultura
V-Z
Vojenství
Vysokoškolské učebnice
Výtvarné umění
Záhady a konspirace
Zdraví a medicína
Zeměpis, místopis
Zvířata a chovatelství
Životopisy a paměti
Pro děti a mládež
Pro nejmenší
Pohádky
Leporela
Kontrastní leporela
Pro mladší čtenáře
Všechny knihy pro mladší čtenáře
První čtení
Mladší školáci
Pohádky
Dětské encyklopedie
Vystřihovánky
Pro starší čtenáře
Všechny knihy pro starší čtenáře
Starší školáci
Herní knihy
Pohádky
Dětské encyklopedie
Mládež
Všechny knihy pro mládež
Young adult
Young adult horory
Kuchařky
Učebnice
Obecné
Učebnice
Jazykové slovníky a učebnice
Podle školy
Středoškolské učebnice
Vysokoškolské učebnice
Obory
Biologie
Fyzika
Chemie
Matematika
Cestování
Turistika
Turistika
Zeměpis, místopis
Cizojazyčné knihy
Podle jazyka
Knihy v angličtině
Knihy v němčině
Knihy ve slovenštině
Knihy ve francouzštině
Knihy ve španělštině
Knihy v italštině
Knihy v polštině
Knihy v ruštině
Anglicky podle žánru
Beletrie (EN)
Dámské romány (EN)
Detektivky a thrillery (EN)
Humor (EN)
Komiks (EN)
Sci-fi a fantasy (EN)
Young Adult (EN)
Pohádky (EN)
knihobot.cz
/
Všechny knihy
/
Počítače, IT, programování
/
A tactic based inductive theorem prover for data types with partial operations
Knihu momentálně nemáme skladem
A tactic based inductive theorem prover for data types with partial operations
Autoři
Ulrich Kühler
Parametry
ISBN
9783898382380
Nakladatelství
Akad. Verl.-Ges. Aka
Kategorie
Počítače, IT, programování
Dissertationen zur künstlichen Intelligenz
Navrhnout úpravu
Varianta knihy
2000
Nákup knihy
Kniha aktuálně není skladem.
Hlídat dostupnost knihy
20002000
20002000