Showing 1 - 2
of 2
for search: '',
query time: 0.03s
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
Genre: Festschriften
Language: English
Subject: Computer science Mathematics
Subject: Software engineering
Institution
Collection
Format
Subject
Author
2
SpringerLink (Online service)
1
Beklemishev, Lev Dmitrievich, 1967-
1
Blass, Andreas, 1947-
1
Dershowitz, Nachum,
1
Finkbeiner, Bernd,
1
Gurevich, Yuri,
more ...
1
International Andrei Ershov Memorial Conference
1
International Andrei Ershov Memorial Conference Kazanʹ and Innopolis, Russia)
1
Mazzara, Manuel,
1
Schulte, Wolfram,
1
Veith, Helmut,
1
Voronkov, Andrei, 1959-
1
Yurifest (Symposium)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication