Záleží nám na vašom súkromí
Pomocou súborov cookie a súvisiacich technológií, ako aj spracovaním vašich údajov môžeme lepšie prispôsobiť zobrazovaný obsah vašim potrebám.Udelením súhlasu s ukladaním informácií na vašom koncovom zariadení alebo s prístupom k informáciám a spracovaním údajov, a to aj v oblasti profilovania, trhu a štatistickej analýzy, budete môcť na stránkach Allegro ešte ľahšie nájsť presne to, čo hľadáte a čo potrebujete.Správcami vašich údajov bude spoločnosť Allegro, ako aj niektorí partneri, s ktorými spolupracujeme.
Jednoduchšie používanie našich stránok, zobrazovanie a meranie personalizovaného obsahu a reklám, vytváranie štatistík a zlepšovanie funkčnosti.Súhlas je dobrovoľný. Môžete ho kedykoľvek odvolať alebo obnoviť v záložke Nastavenia súborov cookie na hlavnej stránke. Odvolanie súhlasu nemá vplyv na zákonnosť spracovania vykonaného pred odvolaním.
zásady používania súborov cookiezásady ochrany osobných údajovParametre
Stav | Nové |
Faktúra | Vystavujem faktúry s DPH |
Jazyk vydania | Angličtina |
Názov | Proof Theory and Automated Deduction |
Autor | Goubault-Larrecq Jean ,Mackie I. |
Nosič | papierová kniha |
Obal knihy | brožovaná väzba |
Rok vydania | 2001 |
Opis
Proof Theory and Automated Deduction
Goubault-Larrecq Jean ,Mackie I.
- Wydawca: Springer-Verlag New York Inc.
- Data wydania: 2001
- ISBN: 9781402003684
- Liczba stron: 444
- Format: 235 x 155
- Rodzaj oprawy:Paperback / softback
Opis produktu:
A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto mated deduction for the logic and its fragments is as important as the logic itself.
Kupujete s Allegro Protect. Všetky nákupy s vrátením peňazí do 48 h. Zobraziť podrobnosti
Niektoré texty boli preložené automaticky. Dajte nám vedieť, ak ste si všimli jazykovú chybu.
Prezeráte si ponuky produktu Proof Theory and Automated Deduction Goubault-Larrecq Jean ,Mackie I.. Vidíte ponuku iného produktu? Nahláste nám to