booktheque

Automated Deduction – CADE 27

Pascal Fontaine · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2019
Publisher
Springer
Editions
1
Pages
605
ISBN
9783030294359

Data source: Wikidata

More by Pascal Fontaine

Frontiers of Combining Systems
Pascal Fontaine · 2013
Europe in 12 lessons
Pascal Fontaine · 2004
Voyage to the heart of Europe 1953-2009
Pascal Fontaine · 2009
La construction européenne de 1945 à nos jours
Pascal Fontaine · 1996
L'Union européenne
Pascal Fontaine · 1994
Reis naar het hart van Europa
Pascal Fontaine · 2010
Voyage au coeur de l'Europe
Pascal Fontaine · 2009
Ewrop Mewn 12 Gwers
Pascal Fontaine · 2008
L'Europe de A à Z
Pascal Fontaine · 2006
12 l eçons sur l'Europe
Pascal Fontaine · 2003