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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Higher Order Logic Theorem Proving and Its Applications E. Th. Schubert
Kod Libristo: 01566006
Wydawnictwo Springer, Berlin, listopad 1994
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Cały opis
? points 125 b
224.50 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zapowiedź
LEGO Ninjago - Der Herr der Wünsche / Książka Twarda
common.buy 39.71 zł
Filosofía de Richard Rorty Pilar Salvá Soria / Książka Miękka
common.buy 154.94 zł
Wissenschaftstheorie der Soziologie Gerhard Wagner / Książka Miękka
common.buy 115.33 zł
Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch / Książka Miękka
common.buy 194.45 zł
Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger / Książka Miękka
common.buy 125.21 zł
Évaluation et didactique Bart Daniel Bart / E-book Adobe ePub DRM
common.buy 197.75 zł
Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret / Książka Twarda
common.buy 70.16 zł
Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers / Książka Karta
common.buy 84.36 zł

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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 Higher Order Logic Theorem Proving and Its Applications
Autor E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 408
EAN 9783540602750
ISBN 3540602755
Kod Libristo 01566006
Wydawnictwo Springer, Berlin
Waga 547
Wymiary 156 x 234 x 21

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
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ć

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency / Książka Miękka
common.buy 80.04 zł
The Kiss Bet, Vol. 3 OCHOA INGRID / Książka Miękka
common.buy 65.33 zł
TOP
Dark and Drowning Tide Saft Allison / Książka Miękka
common.buy 46.91 zł
TOP
Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone / Książka Miękka
common.buy 199.19 zł
Decision Making in Emergency Medicine Manda Raz / Książka Miękka
common.buy 437.90 zł
Introduction to World Religions Darryl E. Howard / Książka Twarda
common.buy 1 240.45 zł
Staff Cars in Germany WW2 Vol. 2 Ranger / Książka Miękka
common.buy 90.53 zł
Data Science with Julia Paul D McNicholas / Książka Miękka
common.buy 382.85 zł
Triple Ken Follett / Książka Miękka
common.buy 64.09 zł
Passover Family Monique Polak / Książka Leporelo
common.buy 41.97 zł
Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum / Książka Miękka
common.buy 56.58 zł
Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew / Książka Miękka
common.buy 205.26 zł
Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing / Książka Twarda
common.buy 198.98 zł
Richard Scarry's Please and Thank You Book Richard Scarry / Książka Miękka
common.buy 25.51 zł
Oogenesis - The Universal Process Verlhac / Książka Twarda
common.buy 702.43 zł
Anatomy of Fraud and Corruption Veronica Morino / Książka Twarda
common.buy 1 041.66 zł
Corals of Australia and the Indo-Pacific J.E.N. Veron / Książka Twarda
common.buy 367.42 zł
Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova / Książka Miękka
common.buy 217.09 zł
Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet / Książka Miękka
common.buy 87.24 zł
Edina. a Novel. Henry Wood / Książka Miękka
common.buy 122.12 zł
Moment With Kel Kelvin L. Hicks / Książka Miękka
common.buy 49.17 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?