search
location_on
Choose your country:

Austria
Belgium
Czech Republic
Denmark
Finland
France
Germany
Greece
Hungary
Ireland
Italy
Netherlands
Norway
Poland
Portugal
Spain
Sweden
Switzerland
United Kingdom
filter_list
home
Categories
    No Category filter available
Price
Discount
Brands
Merchants
Brand: All Merchant: All
Products: 5,041
Sort by: sort RELEVANCE
  • RELEVANCE
  • PRICE: Low To High
  • PRICE: High To Low
-
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)
53.49 €
MEDIMOPS
local_shipping Free
DETAIL
  • chevron_left
  • 132
  • 133
  • 134
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • chevron_right

Via Scialoia, 49, Firenze, Italy

© 2025 Salesoar S.r.l. - VAT 06517830482

  • Term of Service
  • Cookie Policy
  • Privacy Policy