Showing 1 - 10
of 10
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Format: eBook
Subject: Computer algorithms
Author: SAT (Conference)
Institution
Collection
Format
Subject
Author
SAT (Conference)
10
SpringerLink (Online service)
1
Beyersdorff, Olaf,
1
Creignou, Nadia,
1
Egly, Uwe, 1960-
1
Federated Logic Conference
more ...
1
Gaspers, Serge,
1
Heule, Marijn, 1979-
1
Janota, Mikoláś̌,̌
1
Järvisalo, Matti,
1
Kullmann, Oliver
1
Le Berre, Daniel,
1
Lynce, Inês,
1
Lī, Čhư ̄Min
1
Manyà, Felip
1
Pulina, Luca
1
SAT (Conference) Austin, Tex.) Austin, Texas)
1
SAT (Conference) Barcelona, Spain ; Online)
1
SAT (Conference) Bordeaux, Nouvelle-Aquitaine, France)
1
SAT (Conference) Helsinki, Finland)
1
SAT (Conference) Lisbon, Portugal)
1
SAT (Conference) Melbourne, Vic.)
1
SAT (Conference) Online)
1
SAT (Conference) Oxford, England)
1
SAT (Conference) Swansea, Wales)
1
SAT (Conference) Vienna, Austria)
1
Seidl, Martina
1
Sinz, Carsten,
1
Van Gelder, Allen,
1
Walsh, Toby,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication