Gratis bezorging voor bestellingen boven de 69,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 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Labelled Deduction

Name: Labelled Deduction
Brand: Springer
SKU: 05250736
Price: 114.62 EUR
Availability: InStock
Author: David Basin
ISBN: 9780792362371

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 05250736

Uitgeverij Springer, april 2000

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

Libristo-code: 05250736

277 b

114.62 €

In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Synergieeffekte und Integration bei Mergers & Acquisitions Georg Christoph Bocker

Gebonden (paperback)

51.73 €

Toeplitz Centennial ohberg

Gebonden (paperback)

48.39 €

Lehrbuch der Experimentalphysik ADOLF W LLNER

Gebonden (paperback)

28.55 €

La Iglesia en los albores del tercer milenio : reflexiones teológico-pastorales José Saraiva Martins

Gebonden (paperback)

19.23 €

Leuchte des Exils Hans Berkessel

Gebonden (harde band)

18.72 €

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 (harde band)

Datum van uitgifte 2000

Aantal pagina's 267

EAN 9780792362371

ISBN 0792362373

Libristo-code 05250736

Uitgeverij Springer

Gewicht 1270

Afmetingen 170 x 244 x 20

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

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