Showing
1 - 2
results of
2
for search '
"Fontaine, Pascal"
'
Skip to content
Max-Planck-Institut
Book Bag (0)
(Full)
Your Account
Log Out
Login
DE
|
EN
|
Beta-Version
Find
Institute's holdings (MPIL)
Advanced Search
Classification
Remove All Filters
Online:
Yes
Remove All Filters
Show filters (1)
Online:
Yes
Local content
External content (EDS)
Showing
1 - 2
results of
2
for search '
"Fontaine, Pascal"
'
Narrow Search
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Email this Search
—
Save search to account
1
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Cham : Springer International Publishing, 2019
Other Authors:
“
...
Fontaine
,
Pascal
...
”
Full text
Book
/
E-Book
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
2
Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Other Authors:
“
...
Fontaine
,
Pascal
...
”
Full text
Book
/
E-Book
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
Narrow Search
Source
Please enable JavaScript.
Online
Yes
Format
Please enable JavaScript.
Author
2
Fontaine, Pascal
1
Ringeissen, Christophe
1
Schmidt, Renate
Language
2
English
Year of Publication
From:
To:
Loading...