Showing 1 - 15
of 15
for search: '',
query time: 0.07s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Institution: Colorado Mesa University
Subject: Logic, Symbolic and mathematical
Subject: Computer science Mathematics
Institution
Collection
Format
Subject
Computer science Mathematics
Logic, Symbolic and mathematical
8
Formal methods (Computer science)
6
Computer science
5
Artificial intelligence
3
Formal languages
more ...
3
Software engineering
2
Algorithms
2
Computer algorithms
2
Computers
2
Data structures (Computer science)
2
Lattice theory
2
Mathematical analysis
1
Artificial intelligence Mathematical models
1
Bioinformatics
1
Biology Computer simulation
1
Cellular automata
1
Combinatorial analysis
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
Information theory
1
Logic
1
Mathematics
see all ...
less ...
Author
15
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
Cholvy, Laurence,
1
Conference on Computability in Europe
1
Conference on Computability in Europe Turku, Finland),
1
Cristea, Diana,
1
Dürrschnabel, Dominik,
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
Ferré, Sébastien,
1
Finocchi, Irene,
1
Glodeanu, Cynthia Vera,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication