Thomas F Melham
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings) - Lecture Notes in Computer Science Thomas F Melham

Name: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings) - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Thomas F Melham

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 11. nov.

Saņemiet paziņojumus par jauniem Thomas F Melham izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (International Workshop, Valletta, Malta, September 19-22, 1944 - Proceedings) - Lecture Notes in Computer Science

Thomas F Melham

This volume contains the proceedings of a workshop on the subject, held in Malta in 1994. Along with a number of papers on the design and applications of theorem-provers, there is a report on the applications of the higher order logic (HOL) system.

488 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1994. gada 7. septembris
ISBN13	9783540584506
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	488
Izmēri	155 × 233 × 25 mm · 680 g
Valoda	Vācu
Redaktors	Camilleri, Juanito
Redaktors	Melham, T. F.