Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Labelled Deduction

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Labelled Deduction David Basin
Libristo kod: 05250736
Nakladnici Springer, travanj 2000
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Cijeli opis
? points 265 b
109.60 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Configurando o Hadoop 1.x Sarmento Neto Geraldo Abrantes / Knjiga Meki uvez
common.buy 195.30 €
Le Concordat entre Pie VII et Bonaparte Bernard Ardura / Knjiga Meki uvez
common.buy 19.44 €
Zielnik wyd. 3 Lisen Sundgren / Knjiga Tvrdi uvez
common.buy 13.87 €
Pripremamo
Leuchte des Exils Hans Berkessel / Knjiga Tvrdi uvez
common.buy 17.52 €
La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins / Knjiga Meki uvez
common.buy 18.33 €
Lehrbuch der Experimentalphysik ADOLF W LLNER / Knjiga Meki uvez
common.buy 28.56 €
Toeplitz Centennial ohberg / Knjiga Meki uvez
common.buy 48.31 €
Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker / Knjiga Meki uvez
common.buy 51.76 €
Interreligioese Zeit-Gedanken Reinhard Kirste / Knjiga Meki uvez
common.buy 17.92 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2000
Broj stranica 267
EAN 9780792362371
ISBN 0792362373
Libristo kod 05250736
Nakladnici Springer
Težina 1270
Dimenzije 170 x 244 x 20

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Manufacturing Challenges in Electronic Packaging W. T. Chen / Knjiga Meki uvez
common.buy 103.12 €
Feminist Perspective on Gender Representation in Nnedi Okorafor's 'Lagoon' Aneka Brunßen / Knjiga Meki uvez
common.buy 16.20 €
Chinese English: English for Chinese Speakers Dave Alber / Knjiga Meki uvez
common.buy 21.16 €
The Metaphysics of Love WASHINGTON / Knjiga Tvrdi uvez
common.buy 262.37 €
Skill Sharpeners Geography, Grade Prek Evan-Moor Educational Publishers / Knjiga Meki uvez
common.buy 9.21 €
Spiritual Interpretation of the Scriptures John Worcester / Knjiga Tvrdi uvez
common.buy 31.70 €
Literacy Development and Enhancement Across Orthographies and Cultures Dorit Aram / Knjiga Tvrdi uvez
common.buy 109.60 €
Four Lenses of Population Aging Patrik Marier / Knjiga Tvrdi uvez
common.buy 82.65 €
Believe to Succeed Karin Arutunyan / Knjiga Tvrdi uvez
common.buy 17.92 €
Laser Applications in Physical Chemistry Evans / Knjiga Tvrdi uvez
common.buy 438.03 €
Law in the Making Alessandro Pizzorusso / Knjiga Meki uvez
common.buy 51.65 €
Know Your Y: Navigating the World of Work as a Millennial Jordan M Watson / Knjiga Meki uvez
common.buy 16.70 €
Making Large Schools Work Arthur Shapiro / Knjiga Meki uvez
common.buy 62.80 €
Equipping the Believer David Corbin / Knjiga Meki uvez
common.buy 14.38 €
How to Write a Pantomime Lesley Cookman / Knjiga Meki uvez
common.buy 11.54 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?