Showing 1 - 12
of 12
for search: '"Logic Congresses."',
query time: 0.18s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Algorithms
Institution
Collection
Format
Subject
Algorithms
11
Computer logic
11
Computer science
10
Software engineering
9
Computers, Special purpose
6
Computer science Mathematics
more ...
5
Logic, Symbolic and mathematical
5
Management information systems
2
Logic design
2
Programming languages (Electronic computers)
1
Computer algorithms
1
Computer simulation
1
Computer systems Verification
1
Computers
1
Decidability (Mathematical logic)
1
Quantum computers
1
Reversible computing
see all ...
less ...
Author
12
SpringerLink (Online service)
5
Vorozhtsov, E. V. 1946-
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
3
Koepf, Wolfram,
3
Seiler, Werner M.
more ...
2
Boulier, François
2
Bozzano, Marco,
2
England, Matthew
2
Gerdt, V. P.,
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Sadykov, Timur M.
2
Zeller, Marc
1
Abate, Alessandro,
1
Aslansefat, Koorosh,
1
CASC (Workshop : 2001- )
1
CASC (Workshop : 2001- ) Beijing, China)
1
Devitt, Simon,
1
England, Matthew,
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Finkel, A. 1958-
1
Geeraerts, Gilles,
1
Höfig, Kai
1
IMBSA (Symposium) Munich, Germany)
1
IMBSA (Symposium) Online)
1
IMBSA (Symposium) Thessalonikē, Greece)
1
IMBSA (Symposium) Trento, Italy)
1
International Workshop on Computer Algebra in Scientific Computing Lille, France)
1
International Workshop on Computer Algebra in Scientific Computing Moscow, Russia)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication