Showing 1 - 20
of 38
for search: '',
query time: 0.14s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
Software engineering
27
Computer science
24
Computer logic
23
Artificial intelligence
14
Programming languages (Electronic computers)
more ...
10
Computer programming
9
Formal languages
8
Algorithms
8
Computer software Verification
6
Formal methods (Computer science)
5
Computers, Special purpose
5
Database management
4
Computer networks
4
Computer simulation
3
Computer science Mathematics
2
Computer architecture
2
Computer programs Verification
2
Electronic data processing
2
Logic programming
2
Machine learning
1
Application software
1
Automatic theorem proving
1
Computation by Abstract Devices
1
Computer algorithms
1
Computer programs
1
Computer software Testing
1
Computer systems
1
Computers
1
Data structures (Computer science)
see all ...
less ...
Author
38
SpringerLink (Online service)
4
IMBSA (Symposium)
3
RuleML+RR (Joint Conference)
2
Bozzano, Marco,
2
ISoLA (Symposium)
2
International Haifa Verification Conference
more ...
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
Legay, Axel,
2
Margaria-Steffen, Tiziana, 1964-
2
Méry, Dominique,
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Roman, Dumitru (Military journalist),
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abate, Alessandro,
1
Abdelwahed, El Hassan,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Artho, Cyrille,
1
Aslansefat, Koorosh,
1
Bansal, Nikhil,
1
Beckert, Bernhard,
1
Bellatreche, Ladjel, 1968-
1
Benzmüller, Christoph,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication