Showing 1 - 20
of 63
for search: '',
query time: 0.10s
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
Language: English
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