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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Labelled Deduction

Język AngielskiAngielski
Książka Twarda
Książka Labelled Deduction David Basin
Kod Libristo: 05250736
Wydawnictwo Springer, kwiecień 2000
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Cały opis
? points 288 b
Gwarancja
najlepszej
ceny ▸
517.65 zł
Dostępna u dostawcy Wysyłamy za 9-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Brudne lata trzydzieste. Opowieści o wielkich burzach pyłowych Timothy Egan / Książka Twarda
common.buy 37.20 zł
Le Concordat entre Pie VII et Bonaparte Bernard Ardura / Książka Miękka
common.buy 84.57 zł
Lehrbuch der Experimentalphysik ADOLF W LLNER / Książka Miękka
common.buy 116.96 zł
A Árvore da Vida: / Książka Miękka
common.buy 262.39 zł
Zielnik wyd. 3 Lisen Sundgren / Książka Twarda
common.buy 47.86 zł
Zapowiedź
Leuchte des Exils Hans Berkessel / Książka Twarda
common.buy 80.45 zł
La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins / Książka Miękka
common.buy 82.56 zł
Configurando o Hadoop 1.x Sarmento Neto Geraldo Abrantes / Książka Miękka
common.buy 799.27 zł
Mord im Eisbach Franklynn Stangelmeier / Książka Miękka
common.buy 33.78 zł
Toeplitz Centennial ohberg / Książka Miękka
common.buy 198.73 zł
Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker / Książka Miękka
common.buy 212.00 zł
Interreligioese Zeit-Gedanken Reinhard Kirste / Książka Miękka
common.buy 73.11 zł
Vergleichende Untersuchung zu Entwicklungen auf Tagungsmarkten unter besonderer Berucksichtigung der Tagungshotels, dargestellt am Beispiel von Deutsc Jessica Emde / Książka Miękka
common.buy 175.49 zł

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

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 Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Język Angielski
Oprawa Książka - Twarda
Data wydania 2000
Liczba stron 267
EAN 9780792362371
ISBN 0792362373
Kod Libristo 05250736
Wydawnictwo Springer
Waga 1270
Wymiary 170 x 244 x 20

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
Filozofia i religia > Filozofia > Działy filozofii > Logika (filozofia)
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Russian Requiem Roland Merullo / Książka Miękka
common.buy 99.36 zł
Zapowiedź
My First 123 Shirley Hughes / Książka Miękka
common.buy 31.17 zł
Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon' Aneka Brunßen / Książka Miękka
common.buy 66.37 zł
Know Your Y: Navigating the World of Work as a Millennial Jordan M Watson / Książka Miękka
common.buy 74.32 zł
Astrological Practice of Physick: Discovering the True Way to Cure all Kinds of Diseases and Infirmities which are Naturally Incident to the Holy Man Joseph Blagrave / Książka Twarda
common.buy 175.09 zł
Oregon Asylum Diane L. Goeres-Gardner / Książka Twarda
common.buy 109.92 zł
Literacy Development and Enhancement Across Orthographies and Cultures Dorit Aram / Książka Twarda
common.buy 517.65 zł
Spiritual Interpretation of the Scriptures John Worcester / Książka Twarda
common.buy 141.50 zł
12 Days with God devin sherman / Książka Miękka
common.buy 56.82 zł
Memoirs of a Reluctant Copper DOUGLAS HEMINGWAY / Książka Miękka
common.buy 84.57 zł
Analysis of C.S. Lewis's Mere Christianity Mark Scarlata / Książka Miękka
common.buy 48.37 zł
Four Lenses of Population Aging Patrik Marier / Książka Twarda
common.buy 382.28 zł
Dreamality Shawn Bosi / Książka Miękka
common.buy 44.24 zł
Believe to Succeed Karin Arutunyan / Książka Twarda
common.buy 80.25 zł
Carrier Bernie Clarke / Książka Miękka
common.buy 56.11 zł
Manufacturing Challenges in Electronic Packaging W. T. Chen / Książka Miękka
common.buy 424.02 zł
Laser Applications in Physical Chemistry Evans / Książka Twarda
common.buy 1 957.20 zł
Law in the Making Alessandro Pizzorusso / Książka Miękka
common.buy 212.51 zł
Chinese English: English for Chinese Speakers Dave Alber / Książka Miękka
common.buy 94.33 zł
Making Large Schools Work Arthur Shapiro / Książka Miękka
common.buy 280.40 zł
Equipping the Believer David Corbin / Książka Miękka
common.buy 59.03 zł
How to Write a Pantomime Lesley Cookman / Książka Miękka
common.buy 47.46 zł
Massage Marketing - Don't Leave Money on the Table: Earn More Money with a Infusion of Creative Services to Reel in More Clients Sabrina Tonneson / Książka Miękka
common.buy 46.05 zł
The Metaphysics of Love WASHINGTON / Książka Twarda
common.buy 1 083.29 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?