Showing 1 - 20
of 63
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
Remove Filters
Subject: Computer science
Subject: Logic, Symbolic and mathematical
Collection: Electronic Access
Institution
Collection
Format
Subject
Computer science
Logic, Symbolic and mathematical
28
Artificial intelligence
27
Software engineering
21
Computer logic
13
Formal languages
more ...
13
Programming languages (Electronic computers)
9
Algorithms
9
Electronic data processing
8
Computer science Mathematics
8
Database management
7
Computer programming
7
Data mining
7
Logic
6
Computer software Verification
5
Computer simulation
5
Computers
5
Formal methods (Computer science)
4
Computer networks
4
Computers, Special purpose
4
Information retrieval
3
Computational linguistics
3
Computer algorithms
3
Data structures (Computer science)
3
Information organization
3
Semantic Web
3
Uncertainty (Information theory)
2
Combinatorial analysis
2
Computer programs Verification
2
Image processing
see all ...
less ...
Author
61
SpringerLink (Online service)
10
FroCoS (Symposium)
4
IMBSA (Symposium)
2
Artemov, S. N.
2
Bozzano, Marco,
2
International Haifa Verification Conference
more ...
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
LFCS (Symposium)
2
Legay, Axel,
2
Nerode, Anil, 1932-
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
SpringerLink (Online Service)
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
AUTOMATA (Workshop)
1
AUTOMATA (Workshop) Ghent, Belgium)
1
Abate, Alessandro,
1
Achten, Peter, 1967-
1
Ahrendt, Wolfgang,
1
Alam, Mehwish,
1
Alor-Hernández, Giner, 1977-
1
Antoniou, G.
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Artho, Cyrille,
1
Aslansefat, Koorosh,
1
Baetens, Jan M. 1984-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication