Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 06622611
Price: 102.23 EUR
Availability: InStock
Author: David Basin
ISBN: 9789401057813

Taal

Engels

Boek Paperback

Libristo-code: 06622611

Uitgeverij Springer, oktober 2012

Labelled deduction is an approach to providing frameworks for presenting and using different logics... Volledige beschrijving

Libristo-code: 06622611

249 b

102.23 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Silva de extravagancias Antonio Porpetta

Paperback

12.44 €

Duše světa Roger Scruton

Paperback

13.15 €

The Eminence in Shadow - Vol. 2

Blu-ray

32.63 €

16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt

MP3

3.91 €

Ostrov stratených stromov Elif Shafaková

Gebonden

19.37 €

Analecta Hymnica Medii Aevi Guido Maria Dreves

Paperback

21.68 €

Beastmaking NED FEEHALLY

Paperback

25.60 €

Gotteslob Taschenausgabe Region Ost. Cabra-Leder, schwarz Bischöfe Deutschlands

Paperback

29.72 €

ROCKY & CIE TOME 9 : ROCKY A DISPARU S VALENTIN JC GIBERT

Paperback

7.82 €

Kryptowährung - Der rote Faden für Einsteiger Andreas Sova

Paperback

10.54 €

Jsi bez hranic Katy Yaksha

Paperback

6.42 €

La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz

Paperback

11.44 €

Legendy a mýty Polynésie Viktor Krupa

Paperback

2.70 €

Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO

Paperback

15.56 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Paperback

52.72 €

Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche

Paperback

61.05 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Paperback

71.70 €

Red Line. Ausgabe ab 2014 - 7. Klasse, Schülerbuch. Bd.3 Frank Haß

Gebonden

31.22 €

Alte Liebe Und Anderes. Novellen Wilhelmine Heimburg

Paperback

11.64 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Labelled Deduction

Auteur David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?

Taal

Engels

Bindwijze Boek - Paperback

Datum van uitgifte 2012

Aantal pagina's 267

EAN 9789401057813

ISBN 9789401057813

Libristo-code 06622611

Uitgeverij Springer

Gewicht 438

Afmetingen 155 x 235 x 16

Categorieën

Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger