Showing 1 - 20
of 36
for search: '"Logic Congresses."',
query time: 0.22s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer science
Institution
Collection
Format
Subject
Computer science
33
Computer logic
22
Software engineering
12
Computer science Mathematics
11
Algorithms
10
Artificial intelligence
more ...
10
Computers, Special purpose
8
Logic, Symbolic and mathematical
6
Computer simulation
6
Management information systems
5
Computer system failures
5
Mathematical statistics
4
Computer programming
4
Programming languages (Electronic computers)
3
Deontic logic
2
Computer multitasking
2
Computer organization
2
Logic design
2
Stochastic processes
1
Application software
1
Cellular automata
1
Computer networks
1
Computer security
1
Computer systems Verification
1
Computer-aided engineering
1
Computers
1
Database management
1
Decidability (Mathematical logic)
1
Electronic data processing
1
Logic
see all ...
less ...
Author
35
SpringerLink (Online service)
5
EPEW (Workshop)
5
Nerode, Anil, 1932-
5
Vorozhtsov, E. V. 1946-
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
more ...
4
LFCS (Symposium)
4
LFCS (Symposium) Deerfield Beach, Fla.)
3
Iacono, Mauro, 1975-
3
Koepf, Wolfram,
3
Seiler, Werner M.
2
ASMTA (Conference)
2
Artemov, S. N.
2
Artemov, S. N.,
2
Ballarini, Paolo,
2
Boulier, François
2
Bozzano, Marco,
2
Durand-Lose, Jérôme,
2
England, Matthew
2
Gerdt, V. P.,
2
International Conference on Deontic Logic in Computer Science
2
MCU (Conference)
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Sadykov, Timur M.
2
Zeller, Marc
1
Abate, Alessandro,
1
Antonucci, Alessandro,
1
Artemov, Sergei,
1
Aslansefat, Koorosh,
1
Bakhshi, Rena,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication