Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Labelled Deduction

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Labelled Deduction David Basin
Libristo kód: 05250736
Nakladateľstvo Springer, apríl 2000
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Celý popis
? points 267 b
109.69 €
Skladom u dodávateľa Odosielame za 10-16 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Brudne lata trzydzieste. Opowieści o wielkich burzach pyłowych Timothy Egan / Kniha Pevná
common.buy 10.03 €
Le Concordat entre Pie VII et Bonaparte Bernard Ardura / Kniha Brožovaná
common.buy 19.26 €
Lehrbuch der Experimentalphysik ADOLF W LLNER / Kniha Brožovaná
common.buy 28.29 €
A Árvore da Vida: / Kniha Brožovaná
common.buy 63.55 €
Zielnik wyd. 3 Lisen Sundgren / Kniha Pevná
common.buy 14.24 €
Pripravujeme
Leuchte des Exils Hans Berkessel / Kniha Pevná
common.buy 18.36 €
La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins / Kniha Brožovaná
common.buy 18.86 €
Configurando o Hadoop 1.x Sarmento Neto Geraldo Abrantes / Kniha Brožovaná
common.buy 193.50 €
Mord im Eisbach Franklynn Stangelmeier / Kniha Brožovaná
common.buy 8.22 €
Toeplitz Centennial ohberg / Kniha Brožovaná
common.buy 47.87 €
Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker / Kniha Brožovaná
common.buy 51.28 €
Interreligioese Zeit-Gedanken Reinhard Kirste / Kniha Brožovaná
common.buy 17.76 €
Vergleichende Untersuchung zu Entwicklungen auf Tagungsmarkten unter besonderer Berucksichtigung der Tagungshotels, dargestellt am Beispiel von Deutsc Jessica Emde / Kniha Brožovaná
common.buy 42.45 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2000
Počet strán 267
EAN 9780792362371
ISBN 0792362373
Libristo kód 05250736
Nakladateľstvo Springer
Váha 1270
Rozmery 170 x 244 x 20

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: logika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Russian Requiem Roland Merullo / Kniha Brožovaná
common.buy 20.97 €
Pripravujeme
My First 123 Shirley Hughes / Kniha Brožovaná
common.buy 7.62 €
Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon' Aneka Brunßen / Kniha Brožovaná
common.buy 16.06 €
Know Your Y: Navigating the World of Work as a Millennial Jordan M Watson / Kniha Brožovaná
common.buy 15.65 €
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 / Kniha Pevná
common.buy 37.04 €
Oregon Asylum Diane L. Goeres-Gardner / Kniha Pevná
common.buy 22.87 €
Literacy Development and Enhancement Across Orthographies and Cultures Dorit Aram / Kniha Pevná
common.buy 109.69 €
Spiritual Interpretation of the Scriptures John Worcester / Kniha Pevná
common.buy 29.81 €
12 Days with God devin sherman / Kniha Brožovaná
common.buy 12.03 €
Memoirs of a Reluctant Copper DOUGLAS HEMINGWAY / Kniha Brožovaná
common.buy 20.47 €
Analysis of C.S. Lewis's Mere Christianity Mark Scarlata / Kniha Brožovaná
common.buy 10.33 €
Four Lenses of Population Aging Patrik Marier / Kniha Pevná
common.buy 87.21 €
Dreamality Shawn Bosi / Kniha Brožovaná
common.buy 9.22 €
Believe to Succeed Karin Arutunyan / Kniha Pevná
common.buy 16.65 €
Carrier Bernie Clarke / Kniha Brožovaná
common.buy 13.54 €
Manufacturing Challenges in Electronic Packaging W. T. Chen / Kniha Brožovaná
common.buy 102.17 €
Laser Applications in Physical Chemistry Evans / Kniha Pevná
common.buy 414.92 €
Law in the Making Alessandro Pizzorusso / Kniha Brožovaná
common.buy 51.28 €
Chinese English: English for Chinese Speakers Dave Alber / Kniha Brožovaná
common.buy 19.87 €
Making Large Schools Work Arthur Shapiro / Kniha Brožovaná
common.buy 59.51 €
Equipping the Believer David Corbin / Kniha Brožovaná
common.buy 14.24 €
How to Write a Pantomime Lesley Cookman / Kniha Brožovaná
common.buy 11.43 €
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 / Kniha Brožovaná
common.buy 9.73 €
The Metaphysics of Love WASHINGTON / Kniha Pevná
common.buy 259.85 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?