Showing 1 - 7
of 7
for search: '"Logic Congresses."',
query time: 0.19s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Software
Institution
Collection
Format
Subject
6
Computer logic
5
Computer science Mathematics
2
Reversible computing
1
Algorithms
1
Computer algorithms
1
Computer science
more ...
1
Computer systems
1
Computer systems Verification
1
Database design
1
Decidability (Mathematical logic)
1
Information technology
1
Logic, Symbolic and mathematical
1
Software engineering
see all ...
less ...
Author
7
SpringerLink (Online service)
2
RC (Workshop : Reversible computation)
1
Bezhanishvili, Nick
1
Dinneen, M. J.
1
European Summer School in Logic, Language, and Information
1
European Summer School in Logic, Language, and Information Copenhagen, Denmark)
more ...
1
Finkel, A. 1958-
1
FoIKS 2012
1
FoIKS 2012 Kiel, Germany)
1
Glück, R. 1961-
1
Goranko, Valentin
1
International Workshop on Theoretical Computer Science
1
International Workshop on Theoretical Computer Science Auckland, N.Z.)
1
Khoussainov, Bakhadyr, 1961-
1
Leroux, Jérôme
1
Lukasiewicz, Thomas
1
Nies, André
1
Ong, Luke
1
Potapov, Igor
1
Queiroz, Ruy J. G. B. de
1
RC (Workshop : Reversible computation) Copenhagen, Denmark)
1
RC (Workshop : Reversible computation) Ghent, Belgium)
1
RP (Workshop)
1
RP (Workshop) Bordeaux, France)
1
Sali, Attila
1
Vos, Alexis de
1
Wille, Robert
1
Workshop on Logic, Language, Information and Computation
1
Workshop on Logic, Language, Information and Computation Buenos Aires, Argentina)
1
Yokoyama, Tetsuo
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication