Kniha Logical Frameworks Gerard HuetG. Plotkin

Logical Frameworks

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
111.48
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
1991
Stránok
416
EAN
9780521413008
ISBN
0521413001
Enbook ID
02030023
Hmotnosť
78
Rozmery
152 x 229 x 27

Kompletný popis

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.

Mohlo by vás zaujímať

53.67
13.63

The Curator

Owen King
9.41

Margin of Error

Edna Buchanan
2.44

Toiletpaper Calendar 2022

Maurizio Cattelan
24.53

Basic Paleo-Greek

Travis Wayne Goodsell
7.84

Pompeiana

William Gell
24.33
10.59

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

10.93

Klucz

Wardeszkiewicz
7.65
47.00

Mozart-Dialoge

Nikolaus Harnoncourt
23.54

Morgenroethe

Friedrich Nietzsche
13.14

LA CONJUGALITE

Jonckheere
23.35
33.85
3.52
65.45

Wehrlose

Ilse Frapan
47.49

Labyrinthe

Kate Mosse
15.59