Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 9780521413008
Price: 44442 HUF
Availability: InStock

Szerző: Gerard HuetG. Plotkin

Nyelv:

Kötés: Kemény kötésű

Kiadó: Cambridge University Press

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

44 442 Ft

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....

Információk a könyvről

Szerző

Gerard HuetG. Plotkin

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1991

oldal

416

EAN

9780521413008

ISBN

0521413001

Enbook ID

02030023

Kiadó

Cambridge University Press

Súly

Méretek

152 x 229 x 27

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logical Frameworks

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták