Showing 1 - 8
of 8
for search: '',
query time: 0.05s
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
Subject: Computer science Mathematics
Collection: Electronic Access
Institution
Collection
Format
Subject
Computer science
Computer science Mathematics
Logic, Symbolic and mathematical
4
Artificial intelligence
3
Data structures (Computer science)
3
Formal languages
more ...
3
Software engineering
2
Algorithms
2
Combinatorial analysis
2
Computer algorithms
2
Computers
1
Algebra, Homological
1
Bioinformatics
1
Biology Computer simulation
1
Categories (Mathematics)
1
Cellular automata
1
Computable functions
1
Computer logic
1
Computer networks
1
Computer software Verification
1
Formal methods (Computer science)
1
Information theory
1
Numerical analysis
1
Pattern perception
1
Reasoning
1
Uncertainty (Information theory)
see all ...
less ...
Author
8
SpringerLink (Online service)
1
AUTOMATA (Workshop)
1
AUTOMATA (Workshop) Ghent, Belgium)
1
Antonucci, Alessandro,
1
Baetens, Jan M. 1984-
1
Bansal, Nikhil,
more ...
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Cholvy, Laurence,
1
Conference on Computability in Europe
1
Conference on Computability in Europe Turku, Finland),
1
Day, Adam,
1
Doberkat, Ernst-Erich,
1
Downey, R. G.
1
ESA (Symposium)
1
ESA (Symposium) Patrai, Greece)
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
Fellows, M. R. 1952-
1
Finocchi, Irene,
1
Greenberg, Noam,
1
Hawblitzel, Chris
1
International Workshop on Combinatorial Algorithms
1
International Workshop on Combinatorial Algorithms Verona, Italy)
1
Kari, J.
1
Khoussainov, Bakhadyr, 1961-
1
Kutrib, Martin,
1
Liptak, Zsuzsanna,
1
Manea, Florin,
1
Melʹnikov, A. V., 1953-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication