Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Theorem Proving in Higher Order Logics

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

Język AngielskiAngielski
Książka Miękka
Książka Theorem Proving in Higher Order Logics Amy Felty
Kod Libristo: 05274732
Wydawnictwo Springer, Berlin, listopad 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Cały opis
? points 125 b
221.48 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Książka Miękka
common.buy 31.36 zł
Die verborgene Geschichte der Erde Claudia Buchholtz / Książka Miękka
common.buy 114.79 zł
Elektra, die hell Leuchtende Jennifer Saint / E-book Adobe ePub DRM
common.buy 47.29 zł
Histoire mondiale / Książka Miękka
common.buy 43.94 zł
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Książka Miękka
common.buy 204.63 zł
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Książka Miękka
common.buy 164.02 zł
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Gra/Zabawka Gra
common.buy 67.69 zł
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Książka Miękka
common.buy 309.89 zł
Die Krankheiten Der Nagel Julius Heller / Książka Miękka
common.buy 227.46 zł
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Książka Miękka
common.buy 109.82 zł
Eutocius d'Ascalon Micheline Decorps-Foulquier / Książka Twarda
common.buy 574.62 zł
Seidenstraße Quelle: Wikipedia / Książka Miękka
common.buy 62.72 zł
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Wideo DVD
common.buy 38.66 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Theorem Proving in Higher Order Logics
Autor Amy Felty, Elsa L. Gunter
Język Angielski
Oprawa Książka - Miękka
Data wydania 1998
Liczba stron 346
EAN 9783540633792
ISBN 3540633790
Kod Libristo 05274732
Wydawnictwo Springer, Berlin
Waga 460
Wymiary 156 x 234 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Local Analysis of Selberg's Trace Formula A. Good / Książka Miękka
common.buy 111.44 zł
Study Guide for Political Theories for Students Cengage Learning Gale / Książka Miękka
common.buy 50.44 zł
Seasoned to the Country Marilyn Wise / Książka Twarda
common.buy 140.17 zł
Women in Ancient Rome Bonnie MacLachlan / Książka Miękka
common.buy 197.93 zł
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Książka Twarda
common.buy 147.78 zł
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Książka Miękka
common.buy 41.41 zł
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Książka Miękka
common.buy 107.59 zł
Vogue: The Gown Jo Ellison / Książka Twarda
common.buy 146.36 zł
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Książka Miękka
common.buy 82.72 zł
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Książka Miękka
common.buy 121.49 zł
Transcending the Razor Wire Katherine Young / Książka Miękka
common.buy 63.63 zł
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Książka Miękka
common.buy 74.80 zł
Teaching in the Primary School Neil Kitson / Książka Twarda
common.buy 1 194.72 zł
You Are Not Alone Nadja / Książka Miękka
common.buy 44.25 zł
Legend of Cyber-Love Margaret Liu / Książka Twarda
common.buy 218.13 zł
Plain Facts for Old and Young John Harvey Kellogg / Książka Miękka
common.buy 34.70 zł
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Książka Miękka
common.buy 74.90 zł
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Książka Miękka
common.buy 82.72 zł
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Książka Miękka
common.buy 116.21 zł
Roots and Rebellion Dr Arun Verma / Książka Miękka
common.buy 75.51 zł
Decolonizing Ukraine: How the Indigenous People of Crimea Remade Themselves After Russian Occupation Greta Lynn Uehling / Książka Miękka
common.buy 184.63 zł
Government Risk-Sharing in Foreign Investment Marina von Neumann Whitman / Książka Miękka
common.buy 239.04 zł
Distribution in Japan Yoshiro Miwa / Książka Twarda
common.buy 936.89 zł
What Is the Impact of Digitizing Books? Louise I. Gerdes / Książka Miękka
common.buy 136.11 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?