Showing 1 - 20
of 23
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
Institution
Format
Subject
Computer science Mathematics
Logic, Symbolic and mathematical
8
Computer science
8
Formal methods (Computer science)
5
Artificial intelligence
4
Formal languages
more ...
3
Data structures (Computer science)
3
Software engineering
2
Algorithms
2
Combinatorial analysis
2
Computer algorithms
2
Computers
2
Lattice theory
2
Mathematical analysis
1
Algebra, Homological
1
Artificial intelligence Mathematical models
1
Bioinformatics
1
Biology Computer simulation
1
Categories (Mathematics)
1
Cellular automata
1
Computable functions
1
Computer logic
1
Computer networks
1
Computer security
1
Computer simulation
1
Computer software Verification
1
Computers Social aspects
1
Data protection
1
Decision making Mathematical models
1
Enigma cipher system
see all ...
less ...
Author
20
SpringerLink (Online service)
8
International Conference on Formal Concept Analysis
2
Cellier, Peggy,
2
Le Ber, Florence,
2
Sacarea, Christian,
1
AUTOMATA (Workshop)
more ...
1
AUTOMATA (Workshop) Ghent, Belgium)
1
Aguiló, Isabel,
1
Antonucci, Alessandro,
1
Baetens, Jan M. 1984-
1
Baixeries, Jaume,
1
Bansal, Nikhil,
1
Bertet, Karell,
1
Borchmann, Daniel,
1
Braud, Agnes,
1
Buzmakov, Aleksey,
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Casadio, C.
1
Cholvy, Laurence,
1
Coecke, Bob,
1
Conference on Computability in Europe
1
Conference on Computability in Europe Turku, Finland),
1
Cooper, S. B.
1
Cristea, Diana,
1
Day, Adam,
1
Doberkat, Ernst-Erich,
1
Downey, R. G.
1
Dürrschnabel, Dominik,
1
ESA (Symposium)
see all ...
less ...
Language
Literary Form
Region
Call Number
Year of Publication