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.78 EUR
Availability: InStock
Author: David Basin
ISBN: 9789401057813

Taal

Engels

Boek Gebonden (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.78 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Silva de extravagancias Antonio Porpetta

Gebonden (paperback)

12.71 €

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

MP3

3.93 €

The Eminence in Shadow - Vol. 2

Blu-ray

58.75 €

Ostrov stratených stromov Elif Shafaková

Gebonden (harde band)

19.48 €

Duše světa Roger Scruton

Gebonden (paperback)

13.12 €

Jsi bez hranic Katy Yaksha

Gebonden (paperback)

6.45 €

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

Gebonden (paperback)

11.20 €

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

Gebonden (paperback)

15.74 €

Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath

Gebonden (paperback)

53.00 €

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

Gebonden (paperback)

61.38 €

Entwicklung einer RFID Interface-Anwendung Andreas Link

Gebonden (paperback)

72.38 €

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 - Gebonden (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