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

22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Theorem Proving in Higher Order Logics Stefan Berghofer
Kod Libristo: 01650217
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2009
This book constitutes the refereed proceedings of the 22nd 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

Chambre de Van Gogh Van Gogh / Książka Książka
common.buy 28.29 zł
Umweg Leben Hark Larsen / Książka Miękka
common.buy 42.95 zł
Etude de la Fusariose de L pi Sur Orge Et D tection Des Mycotoxines Maaoui Dalel / Książka Miękka
common.buy 138.02 zł
Giacinto Scelsi, les horizons immémoriaux Castanet / Książka Miękka
common.buy 178.23 zł
Tanie
ОиР. Космические сказки. Солнечная система/Ульева Е. Елена Ульева / Książka Twarda
common.buy 39.59 zł
Sfide e opportunità delle cure palliative moderne Massimo Costantini / Książka Miękka
common.buy 26.97 zł
Officina Meccanica: basi e riflessioni. Il disegno, gli utensili, gli elettroutensili e le macchine utensili. La carpenteria: i materiali, la saldatur Luca Negri / Książka Miękka
common.buy 84.07 zł
El pais de Qa Grzegorz Rosinski / Książka Miękka
common.buy 42.13 zł
Das Bayerische Konkordat von 1583 Klaus Unterburger / Książka Twarda
common.buy 259.36 zł
Die Politische Rolle Der Frau in Der Romischen Republik Barbara Fortsch / Książka Twarda
common.buy 254.78 zł

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. §The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

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 Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 517
EAN 9783642033582
ISBN 364203358X
Kod Libristo 01650217
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 807
Wymiary 155 x 235 x 29

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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ć

Seventh Empire Romy Tomlinson / Książka Miękka
common.buy 104.13 zł
Zapowiedź
A Midsummer Night`s Dream Helen Hackett / Książka Twarda
common.buy 391.80 zł
Things I Wish I'd Told My Mother James Patterson / Książka Miękka
common.buy 78.57 zł
Our World in Pictures the Dinosaur Book: Includes Other Prehistoric Creatures DK / Książka Twarda
common.buy 83.67 zł
The Masque Of Mary: And Other Poems (1858) Edward Caswall / Książka Miękka
common.buy 156.35 zł
The Story Of The Invention Of Steel Pens Henry Bore / Książka Twarda
common.buy 144.23 zł
Prophets Hafiz Ibn Kathir / Książka Miękka
common.buy 111.76 zł
From the Cave Wall: A Stone Age Story Jg Jones / Książka Miękka
common.buy 37.45 zł
Morris Moats Makes a Move Danny Kyzer / Książka Miękka
common.buy 44.37 zł
UExcel - Life Span Developmental Psychology Gcp Editors / Książka Miękka
common.buy 121.74 zł
Feminism(s) in Early Childhood Kylie Smith / Książka Twarda
common.buy 619.41 zł
Invasion of Virginia, 1781 Michael Cecere / Książka Twarda
common.buy 116.34 zł
Mary Wollstonecraft and the Feminist Imagination Barbara Taylor / Książka Twarda
common.buy 654.43 zł
TOP
English Common Reader: A Social History of the Mass Reading Pub Richard Daniel Altick / Książka Miękka
common.buy 169.28 zł
International Finance Sercu / Książka Twarda
common.buy 612.69 zł
Global Outsourcing and Offshoring Farok J. ContractorVikas KumarSumit K. KunduTorben Pedersen / Książka Miękka
common.buy 296.42 zł
China's New Foreign Policy Tilman Pradt / Książka Twarda
common.buy 502.65 zł
Lives of the Chief Fathers of New England. Edward W Hooker / Książka Miękka
common.buy 119.90 zł
Diabetes Azmina Govindji / Książka Miękka
common.buy 39.49 zł
Living with the Laird Belinda Rathbone / Książka Miękka
common.buy 57.60 zł
Read and Write Arabic Script (Learn Arabic with Teach Yourself) Mourad Diouri / Książka Miękka
common.buy 77.86 zł
Receptive Ecumenism and the Call to Catholic Learning Paul D. Murray / Książka Twarda
common.buy 663.59 zł
Zapowiedź
Baudelaire's Revenge - A Novel Bob Van Laerhoven / Książka Miękka
common.buy 52.01 zł
Mastering Windows Server 2016 Hyper-V John Savill / Książka Miękka
common.buy 194.21 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?