The Locator -- [(subject = "Logic--Congresses")]

223 records matched your query       


 Next Page
Record 1
Philosophie der Logic und Mathematic = Philosophy of Logic and Mathematics / Publisher: Kirchberg am Wechsel, Austria : Osterreichische Ludwig Wittgenstein Gesellschaft, Date: [2019]   This title can be found in 1 Iowa libraries.
Record 2
Beiträge zu Leibniz' Rezeption der Aristotelischen Logik und Metaphysik / Publisher: Hildesheim : Georg Olms Verlag, Date: 2016.   This title can be found in 1 Iowa libraries.
Record 3
Quantum foundations and open quantum systems : lecture notes of the Advanced School / Publisher: [Hackensack,] New Jersey : World Scientific, Date: [2015]   This title can be found in 1 Iowa libraries.
Record 4
Nature of anumāna : an overview of Indian theories / Publisher: Kolkata : The Asiatic Society, Date: 2015.   This title can be found in 1 Iowa libraries.
Record 5
Logic in Buddhist Scholasticism from philosophical, philological, historical and comparative perspectives / Publisher: Lumbini : Lumbini International Research Institute, Date: 2015.   This title can be found in 1 Iowa libraries.
Record 6
Decision making and soft computing : proceedings of the 11th International FLINS Conference, Joao Pessoa (Paraiba), Brazil, 17-20 August 2014 / Publisher: Singapore ; World Scientific Pub. Co., Date: [2014]   This title can be found in 1 Iowa libraries.
Record 7
Reversible computation : 4th international workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / Publisher: Berlin ; Springer, Date: c2013.   This title can be found in 1 Iowa libraries.
Record 8
Essays on Anscombe's Intention / Publisher: Cambridge, Mass. : Harvard University Press, Date: 2011.   This title can be found in 2 Iowa libraries.
Record 9
La ricerca logica in Italia : studi in onore di Corrado Mangione, Milano, 10-11 settembre 2009 / Publisher: Milano : Cisalpino, Date: c2011.   This title can be found in 1 Iowa libraries.
Record 10
Quantum information science and its contributions to mathematics : AMS Short Course, quantum computation and quantum information, January 3-4, 2009, Washington, DC / Publisher: Providence, R.I. : American Mathematical Society, Date: c2010.   This title can be found in 2 Iowa libraries.
Record 11
Presuppositions and discourse : essays offered to Hans Kamp / Publisher: Bingley, UK : Emerald Group Publ, Date: 2010.   This title can be found in 1 Iowa libraries.
Record 12
Argumentation in multi-agent systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / Format: [electronic resource] : Publisher: Heidelberg : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.
Record 13
Logic, language, and computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers / Format: [electronic resource] : Publisher: Berlin : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.
Record 14
Transmission and driveline, 2010 / Publisher: Warrendale, PA : SAE International, Date: 2010.   This title can be found in 1 Iowa libraries.
Record 15
Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / Format: [electronic resource] : Publisher: New York : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.
Record 16
Reachability problems third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Format: [electronic resource] : Publisher: New York : Springer, Date: 2009.   This title can be found in 1 Iowa libraries.
Record 17
Logic, rationality, and interaction second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / Format: [electronic resource] : Publisher: New York : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.
Record 18
Relations and Kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 : proceedings / Format: [electronic resource] : Publisher: New York : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.
Record 19
Reduction, abstraction, analysis / Publisher: Frankfurt ; Ontos Verlag, Date: 2009.   This title can be found in 1 Iowa libraries.
Record 20
Computational logic in multi-agent systems 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers / Format: [electronic resource] : Publisher: New York : Springer, Date: c2009.   This title can be found in 1 Iowa libraries.

Initiate Another SILO Locator Search


 Next Page
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR LOCAL PUBLIC LIBRARY.

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.