Gratis verzending vanaf 59,99 euro.
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
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Logical Frameworks
Taal
Engels
Engels
Boek
Gebonden (harde band)
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....
Volledige beschrijving
Libristo-code: 02030023
?
291 b
291 b
120.49
€
In extern magazijn
Wordt binnen 9-15 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
42.79
€
/
Gebonden (paperback)
16.18
€
/
Gebonden (paperback)
18.10
€
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
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
Logical Frameworks
Auteur
Gerard HuetG. Plotkin
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (harde band)
Datum van uitgifte
1991
Aantal pagina's
416
EAN
9780521413008
ISBN
0521413001
Libristo-code
02030023
Uitgeverij
Cambridge University Press
Gewicht
78
Afmetingen
152 x 229 x 27
