Fri frakt over 399 kr
Fri frakt over 399 kr
Kundeservice
Logical Frameworks

Logical Frameworks

1 351 kr

1 351 kr

På lager

To., 10 juli - on., 16 juli


Sikker betaling

14 dagers åpent kjøp


Selges og leveres av

Adlibris

Produktbeskrivelse

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.

Artikkel nr.

5cc2d27d-503c-55a1-ab56-bdc8c4f55af6

Logical Frameworks

1 351 kr

1 351 kr

På lager

To., 10 juli - on., 16 juli


Sikker betaling

14 dagers åpent kjøp


Selges og leveres av

Adlibris