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

11th International Conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Theorem Proving in Higher Order Logics Jim Grundy
Kod Libristo: 05274873
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 1998
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Cały opis
? points 125 b
222.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Datentransportkostenoptimale Gestaltung von Rechnernetzen Hans Demmer / Książka Miękka
common.buy 228.11 zł
70 ANS D'EDITION 1943 2013 collegium / Książka Miękka
common.buy 34.09 zł
ALEMANY GRAMATICA BASICA LD-CT-705 / Książka Książka
common.buy 25.74 zł
MARCOS NAVARRO PUERTO / Książka Miękka
common.buy 133.75 zł
Un simple roce de mangas Pulido / Książka Miękka
common.buy 93.13 zł
Épreuves orales d'entretien aux concours des écoles de commerce. Bac+2 à Bac+5 Attelan / Książka Miękka
common.buy 101.07 zł
Reflexología : una forma de buena salud Nicola Hall / Książka Miękka
common.buy 97.20 zł
La conscience, l'inconscient et le sujet Ferrand / Książka Miękka
common.buy 71.25 zł
Senza distinzione. Di sesso, di razza, di lingua Stefano Bartezzaghi / Książka Miękka
common.buy 70.74 zł
Djela Jugoslavenske Akademije Znanosti I Umjetnosti, Volume 18 Jugoslavenska Akademija Znan Umjetnosti / Książka Miękka
common.buy 83.16 zł
Por una Nueva Libertad (Edición en Letras Grandes): El Manifiesto Libertario Murray N Rothbard / Książka Miękka
common.buy 75.32 zł
101 tareas para desarrollar las competencias 6 José Martínez Romero / Książka Miękka
common.buy 57.40 zł
Consultant-Knigge Dirk H. Hartel / Książka Miękka
common.buy 181.59 zł
Enquete Sur Les Conseils de Prud'hommes Et Les Livrets d'Ouvriers / Książka Miękka
common.buy 168.05 zł
Das moderne Bild des Krieges Robert Gander / Książka Miękka
common.buy 257.84 zł
Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Książka Miękka
common.buy 77.46 zł
Die Interkulturelle Problematik Deutsch-Franzoesischer Unternehmenskooperationen Martin Strübing / Książka Miękka
common.buy 154.62 zł

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

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 Jim Grundy, Malcolm Newey
Język Angielski
Oprawa Książka - Miękka
Data wydania 1998
Liczba stron 496
EAN 9783540649878
ISBN 3540649875
Kod Libristo 05274873
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1580
Wymiary 155 x 233 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Transactions of the National Association for the Promotion of Social Science National Association for the Promotion O / Książka Twarda
common.buy 196.86 zł
Stand Up and Be Counted: Middle Leadership in Education Contexts Kerry / Książka Twarda
common.buy 898.94 zł
Intergalactic P.S. 3 Hope Larson / Książka Miękka
common.buy 26.86 zł
S. J. Perelman Steven H. Gale / Książka Miękka
common.buy 217.32 zł
Upper Tract Urothelial Carcinoma Shahrokh F. Shariat / Książka Miękka
common.buy 519.55 zł
Clinician's Guide to Allergic Diseases Kevin Parker / Książka Twarda
common.buy 537.87 zł
A Relation Of The Colony Of The Lord Baron Of Baltimore, In Maryland, Near Virginia Andrew White / Książka Twarda
common.buy 144.23 zł
Maggie: A Girl of the Streets (a Story of New York) Stephen Crane / Książka Miękka
common.buy 110.54 zł
Seize the Day Saul Bellow / Książka Miękka
common.buy 55.26 zł
Enriching Multimedia with Sensory Effects Markus Waltl / Książka Miękka
common.buy 214.98 zł
Holy Living Matthew Everhard / E-book Adobe ePub DRM
common.buy 67.89 zł
DVD Country Guitar Mueller Mike / Książka Miękka
common.buy 40.30 zł
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop Dimitrios I Fotiadis / Książka Twarda
common.buy 607.50 zł
Tiffany Desk Treasures George A. Kemeny / Książka Twarda
common.buy 302.62 zł
Tobias Smollett in the Enlightenment Richard J. Jones / Książka Twarda
common.buy 535.02 zł
Copilots for Linguists Tiago Timponi Torrent / Książka Miękka
common.buy 112.98 zł
Modern Folk Art Coloring Book Dawn Nicole Warnaar / Książka Miękka
common.buy 73.38 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?