Logical Frameworks (inbunden)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Utgivningsdatum
1991-09-26
Förlag
Cambridge University Press
Dimensioner
229 x 152 x 27 mm
Vikt
776 g
ISBN
9780521413008

Logical Frameworks

av Gerard Huet, G Plotkin
Inbunden,  Engelska, 1991-09-26
1320
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.

Passar bra ihop

  1. Logical Frameworks
  2. +
  3. The Art and Making of Arcane

De som köpt den här boken har ofta också köpt The Art and Making of Arcane av Elisabeth Vincentelli, Insight Editions (inbunden).

Köp båda 2 för 1815 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Du kanske gillar