Showing
1 - 1
results of
1
for search '
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Author:
Nieuwenhuis, Robert
Reset Filters
Show filters (1)
Author:
Nieuwenhuis, Robert
Search Results - Open Polar - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Search Results
Showing
1 - 1
results of
1
for search '
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Select result number 1
1
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
by
Bjorner, Nikolaj
,
Nieuwenhuis, Robert
,
Veith, Helmut
,
Voronkov, Andrei
Published 2011
“
...
Schloss
Dagstuhl
-
Leibniz
-
Zentrum
fuer
Informatik
GmbH, Wadern/Saarbruecken, Germany...
”
Get access
Get access
Text
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
1
Author
Bjorner, Nikolaj
1
Nieuwenhuis, Robert
Veith, Helmut
1
Voronkov, Andrei
1
see all ...
Topic
Computer Science
1
Content Provider
DataCite Metadata Store (German National Library of Science and Technology)
1
Language
English
1
Open Polar Keyword
Eyjafjallajökull
1
Loading...