Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Logical Frameworks

Name: Logical Frameworks
Brand: Cambridge University Press
SKU: 9780521413008
Price: 116.99 EUR
Availability: InStock

Автор: Gerard HuetG. Plotkin

Език:

Корици: С твърди корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 9-15 дни

116.99 € 228.80 лв

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

Информация за книгата

Автор

Gerard HuetG. Plotkin

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1991

страници

416

EAN

9780521413008

ISBN

0521413001

Enbook ID

02030023

Издател

Cambridge University Press

Теглоt

Размери

152 x 229 x 27

Пълно описание

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.