Logical frameworks

Main
Computers - Programming
Logical frameworks

Logical frameworks

Gèrard Huet, Gordon Plotkin

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

This 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 their 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.

카테고리:

Computers - Programming

년:

1991

출판사:

Cambridge University Press

언어:

english

페이지:

416

ISBN 10:

0521413001