A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Theorem Proving in Higher Order Logics Amy Felty
Libristo kód: 05274732
Kiadó Springer, Berlin, november 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Teljes leírás
? points 136 b
20 196 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Histoire mondiale / Könyv Puha kötésű
common.buy 3 257 Ft
Voyage dans le cristal George Sand / Könyv Puha kötésű
common.buy 3 722 Ft
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Könyv Puha kötésű
common.buy 18 516 Ft
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Könyv Puha kötésű
common.buy 9 987 Ft
Die Schule der magischen Tiere 12: Voll das Chaos! Andreas Fröhlich / Hanganyagok Audio CD
common.buy 4 079 Ft
NFL American Football Sebastian Mühlenhof / Könyv Kemény kötésű
common.buy 13 977 Ft
Elektra, die hell Leuchtende Jennifer Saint / E-könyv Adobe ePub DRM
common.buy 3 961 Ft
Die verborgene Geschichte der Erde Claudia Buchholtz / Könyv Puha kötésű
common.buy 10 551 Ft
Barefoot On Diamond Road Amber Arcades / Hanganyagok Audio CD
common.buy 5 463 Ft
Komorbidität Psychose und Sucht Euphrosyne Gouzoulis-Mayfrank / Könyv Puha kötésű
common.buy 27 715 Ft
Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Könyv Puha kötésű
common.buy 2 844 Ft
Toplistás
Ganongův přehled lékařské fyziologie Kim E. Barrett / Könyv Kemény kötésű
common.buy 42 419 Ft
Smútkové poradenstvo a smútková terapia Worden William / Könyv Puha kötésű
common.buy 5 595 Ft
Broken Bonds T1 J. Bree / Könyv Puha kötésű
common.buy 4 229 Ft
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Könyv Puha kötésű
common.buy 14 855 Ft
Čas šelmy aneb příběhy (p)o konci světa Vladimír Němec / Könyv Puha kötésű
common.buy 3 633 Ft
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Könyv Puha kötésű
common.buy 28 278 Ft
Das Kino bin ich Robin Becker / Könyv Puha kötésű
common.buy 7 711 Ft
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Filmek DVD
common.buy 3 497 Ft
Seidenstraße Quelle: Wikipedia / Könyv Puha kötésű
common.buy 5 759 Ft
Mahoma Anuar Lahud / Könyv Puha kötésű
common.buy 2 830 Ft
Gran guía ilustrada de los loros Mike Harris / Könyv Puha kötésű
common.buy 8 110 Ft
Eutocius d'Ascalon Micheline Decorps-Foulquier / Könyv Kemény kötésű
common.buy 52 313 Ft
Die Krankheiten Der Nagel Julius Heller / Könyv Puha kötésű
common.buy 20 764 Ft

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Theorem Proving in Higher Order Logics
Szerző Amy Felty, Elsa L. Gunter
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1998
Oldalszám 346
EAN 9783540633792
ISBN 3540633790
Libristo kód 05274732
Kiadó Springer, Berlin
Súly 460
Méretek 156 x 234 x 18

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Gépi tanulás
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Local Analysis of Selberg's Trace Formula A. Good / Könyv Puha kötésű
common.buy 10 152 Ft
Teaching in the Primary School Neil Kitson / Könyv Kemény kötésű
common.buy 110 609 Ft
Reception of Laurence Sterne in Europe Neubauer / Könyv Kemény kötésű
common.buy 134 649 Ft
Seasoned to the Country Marilyn Wise / Könyv Kemény kötésű
common.buy 12 606 Ft
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Könyv Puha kötésű
common.buy 6 937 Ft
Evaluating Ernest R. House / Könyv Puha kötésű
common.buy 21 923 Ft
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Könyv Kemény kötésű
common.buy 13 381 Ft
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Könyv Puha kötésű
common.buy 3 797 Ft
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Könyv Puha kötésű
common.buy 9 734 Ft
Vogue: The Gown Jo Ellison / Könyv Kemény kötésű
common.buy 13 531 Ft
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Könyv Puha kötésű
common.buy 7 533 Ft
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Könyv Puha kötésű
common.buy 11 044 Ft
Transcending the Razor Wire Katherine Young / Könyv Puha kötésű
common.buy 5 773 Ft
Study Guide for Political Theories for Students Cengage Learning Gale / Könyv Puha kötésű
common.buy 4 571 Ft
Women in Ancient Rome Bonnie MacLachlan / Könyv Puha kötésű
common.buy 18 379 Ft
You Are Not Alone Nadja / Könyv Puha kötésű
common.buy 4 018 Ft
Legend of Cyber-Love Margaret Liu / Könyv Kemény kötésű
common.buy 19 065 Ft
Whistle Window Brian Drinkwater / Könyv Puha kötésű
common.buy 4 003 Ft
Toplistás
Flying Too Close to the Sun James Cahill / Könyv Kemény kötésű
common.buy 17 872 Ft
Introduction to Cutting and Packing Optimization Guntram Scheithauer / Könyv Puha kötésű
common.buy 35 557 Ft
Plain Facts for Old and Young John Harvey Kellogg / Könyv Puha kötésű
common.buy 3 154 Ft
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Könyv Puha kötésű
common.buy 6 787 Ft
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Könyv Puha kötésű
common.buy 7 533 Ft
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Könyv Puha kötésű
common.buy 9 617 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?