Showing 1 - 18
of 18
for search: '',
query time: 0.08s
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: Computer science Mathematics
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Computer science Mathematics
Formal methods (Computer science)
8
Logic, Symbolic and mathematical
5
Computer software Development
2
Computer programming
2
Computer science
more ...
2
Computer software Verification
2
Mathematical analysis
1
Artificial intelligence
1
Computer systems
1
Formal languages
1
Information theory
1
Lattice theory
1
Mathematical models
1
Software engineering
see all ...
less ...
Author
18
SpringerLink (Online service)
8
International Conference on Formal Concept Analysis
5
WADT (Workshop)
3
Cellier, Peggy,
2
ICTAC (Colloquium)
2
Le Ber, Florence,
more ...
2
Roggenbach, Markus,
2
Sacarea, Christian,
1
Baixeries, Jaume,
1
Bertet, Karell,
1
Borchmann, Daniel,
1
Braud, Agnes,
1
Buzmakov, Aleksey,
1
CPP (Conference)
1
CPP (Conference) Melbourne, Vic.)
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Cavalcanti, Ana
1
Codescu, Mihai,
1
Cristea, Diana,
1
Diaconescu, Răzvan,
1
Distel, Felix,
1
Dürrschnabel, Dominik,
1
Ferré, Sébastien,
1
Fiadeiro, José Luiz, 1961-
1
Ganter, Bernhard,
1
Glodeanu, Cynthia Vera,
1
Gonthier, Georges,
1
Hanika, Tom,
1
Hawblitzel, Chris
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication