Showing 1 - 10
of 10
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Logic
Logic, Symbolic and mathematical
Mathematics
2
Automatic theorem proving
1
Artificial intelligence
1
Computer logic
more ...
1
Computer science
1
Computer science Mathematics
1
Electronic data processing
1
Game theory
1
Lattice theory
1
Linguistics Philosophy
1
Logic diagrams
1
Mathematical analysis
1
Reasoning
1
Semantics
1
Visual reasoning
1
Visualization
see all ...
less ...
Author
6
SpringerLink (Online Service)
4
SpringerLink (Online service)
1
Benthem, Johan van, 1949-
1
Blazy, Sandrine,
1
Bonacina, Maria Paola
1
Buchsbaum, Arthur,
more ...
1
Béziau, Jean-Yves,
1
Gerstein, Larry J.
1
Gupta, Amitabh, Ph. D.
1
ITP (Conference)
1
ITP (Conference) Rennes, France)
1
International Conference on Automated Deduction
1
International Conference on Automated Deduction Lake Placid, N.Y.)
1
International Conference on Formal Concept Analysis
1
International Conference on Formal Concept Analysis Agadir, Morocco)
1
Kohlenbach, U.
1
Koslow, Arnold,
1
Kwuida, Leonard
1
Libkin, Leonid,
1
Majer, Ondrej
1
Moktefi, Amirouche
1
Mundici, Daniele, 1946-
1
Pacuit, Eric
1
Paulin-Mohring, Christine, 1962-
1
Pichardie, David,
1
Pietarinen, Ahti-Veikko
1
Queiroz, Ruy J. G. B. de,
1
Rahman, Shahid
1
Sertkaya, Bariș
1
Shin, Sun-Joo
see all ...
less ...
Language
Literary Form
Year of Publication