E Thomas Schubert
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer E Thomas Schubert

Name: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer
Price: 53.99 EUR
Availability: OutOfStock
Author: E Thomas Schubert

Cena

€ 53,99

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

Paredzamā piegāde . gada 12. - 20. nov.

Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

Saņemiet paziņojumus par jauniem E Thomas Schubert 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: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings (International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 - Proceedings) - Lecture Notes in Computer

E Thomas Schubert

The papers in this collection document the advances in the field, and fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

408 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1995. gada 23. augusts
ISBN13	9783540602750
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	408
Izmēri	156 × 234 × 21 mm · 580 g
Valoda	Vācu
Redaktors	Alves-foss, James
Redaktors	Schubert, E.thomas
Redaktors	Windley, Phillip J.