Showing 1 - 20
of 217
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Format
Subject
Computer logic
77
Software engineering
57
Computer science
49
Artificial intelligence
37
Computer science Mathematics
33
Programming languages (Electronic computers)
more ...
32
Logic, Symbolic and mathematical
20
Logic programming
18
Logic
16
Computer programming
15
Computer organization
15
Computer security
14
Algorithms
13
Computers, Special purpose
13
Formal methods (Computer science)
13
Reversible computing
12
Application software Security measures
12
Computer software Development
11
Automatic theorem proving
11
Computer networks
10
Management information systems
9
Computer simulation
8
Programming languages (Electronic computers) Semantics
7
Computational linguistics
7
Intelligent agents (Computer software)
6
Computer software Verification
6
Electronic data processing
5
Computer system failures
5
Database management
5
Mathematical statistics
see all ...
less ...
Author
203
SpringerLink (Online service)
13
RC (Workshop : Reversible computation)
11
LOPSTR (Symposium)
11
SAFECOMP (Conference)
10
IJCAR (Conference)
7
Bitsch, Friedemann,
more ...
7
CLIMA (Workshop)
7
International Tbilisi Symposium on Logic, Language, and Computation
7
WRLA (Conference)
6
Bitsch, Friedemann
6
European Summer School in Logic, Language, and Information
6
SpringerLink (Online Service)
5
DECSoS (Workshop)
5
EPEW (Workshop)
5
Nerode, Anil, 1932-
5
RuleML+RR (Joint Conference)
5
Vorozhtsov, E. V. 1946-
5
WAISE (Workshop)
4
ETAPS (Conference)
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
4
LFCS (Symposium)
4
LFCS (Symposium) Deerfield Beach, Fla.)
4
Schoitsch, Erwin,
4
Voronkov, Andrei, 1959-
4
Workshop on Logic, Language, Information and Computation
3
Bubel, Richard,
3
DepDevOps (Workshop)
3
European Association for Computer Science Logic
3
Guiochet, Jérémie
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication