Higher Order Logic Theorem Proving and Its Applications

1/1
Afbeelding van Higher Order Logic Theorem Proving and Its Applications
Bol
Prijzen vanaf
46,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions.
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (1)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
46,99
Gratis
46,99
Naar shop
Gratis Shipping Costs
Beschrijving (1)

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions.

Productspecificaties

EAN
  • 9783540584506
Maat

Prijzen voor het laatst bijgewerkt op:

-3 %

First Order Logic and Automated Theorem Proving

90,99
Meer informatie Meer info

Theorem Proving in Higher Order Logics

46,99
Meer informatie Meer info
-5 %

Mathematics and Its Applications Mechanical Geometry Theorem Proving

99,99
Meer informatie Meer info

Symbolic Logic and Mechanical Theorem Proving

29,50
Meer informatie Meer info
Uitgelichte Keuze
46,99
Naar shop