-
0^# and inner models
British Library Online Contents | 2002|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
0-D-valued fields
British Library Online Contents | 2006|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
2^[^U^N^R^E^A^D^A^B^L^E^ ^K^E^Y^I^N^G^ ^C^O^N^T^E^N^T^]^0 pairwise nonisomorphic maximal-closed subgroups of Sym(N) via the classification of the reducts of the Henson digraphs
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
2-Exp Time lower bounds for propositional dynamic logics with intersection
British Library Online Contents | 2005|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
6th Conference on Computability in Europe, ``Programs, proofs, processes'', University of Azores, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010
British Library Online Contents | 2011Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
12th Workshop on Logic, Language, Information and Computation (WoLLIC '2005), Florianopolis (Santa Catarina), Brazil, July 19-22, 2005
British Library Online Contents | 2005Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
13th Computability in Europe Conference (CIE 2017) Unveiling Dynamics and Complexity, Co-Sponsored by the Association for Symbolic Logic, Turku, Finland, June 12—16, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
14th International Conference on Computability and Complexity in Analysis, Co-Sponsored by the Association for Symbolic Logic, Daejeon, Republic of Korea, July 24—27, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montreal, Canada, June 16-18, 2008
British Library Online Contents | 2009Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21-24, 2009
British Library Online Contents | 2010Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
17th Latin American Symposium on Mathematical Logic (SLALM 2017), Puebla, Puebla, México, June 26—30, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
17th Workshop on Logic, Language, Information, and Computation, (WoLLIC 2010), Brasilia, Brazil, July 6-9, 2010
British Library Online Contents | 2011Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
19th century logic between philosophy and mathematics
British Library Online Contents | 1999|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
19th Workshop on Logic, Language, Information, and Computation (WoLLIC 2012), Buenos Aires, Argentina, September 3-6, 2012
British Library Online Contents | 2013Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014), Valparaiso, Chile, September 1-4, 2014
British Library Online Contents | 2015Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015), Bloomington, Indiana, July 20—23, 2015
British Library Online Contents | 2016Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
24th European Summer School on Logic, Language and Information (ESSLLI 2012), Opole University, Opole, Poland, August 6-17, 2012
British Library Online Contents | 2013Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
24th Workshop on Logic, Language, Information, and Computation (WOLLIC 2017), London, UK, July 18—21, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
25th Workshop on Logic, Language, Information, and Computation (WOLLIC 2018), Co-Sponsored by the Association for Symbolic Logic, Bogotá, Colombia, July 24—27, 2018
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
29th European Summer School, In Logic, Language, and Information, (ESSLLI 2017), Co-Sponsored by the Association for Symbolic Logic, Toulouse, France, July 17—28, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.