Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /

Código QR

Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2017.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Publicado: (2020)

Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers /
Publicado: (2020)

New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings /
Publicado: (2017)

Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado: (2017)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado: (2017)

New Trends in Nanotechnology and Fractional Calculus Applications /
Publicado: (2010)

Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers /
Publicado: (2017)

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado: (2017)

Dynamic Epistemic Logic /
Publicado: (2008)

New Trends in Image Analysis and Processing - ICIAP 2017 : ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers /
Publicado: (2017)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Publicado: (1964)

Logic for applications /
por: Nerode, Anil, et al.
Publicado: (1997)

Difference equations, discrete dynamical systems and applications : ICDEA 23, Timişoara, Romania, July 24-28, 2017 /
Publicado: (2019)

A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics : theory and applications /
por: Barros, Laécio Carvalho de
Publicado: (2017)

Advanced logic for applications
por: Grandy, Richard E.
Publicado: (1977)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming Rennes, France, 18-20 september, 1984 /
por: Dahl, Verónica, et al.
Publicado: (1985)

Dynamical Systems in Applications : Łódź, Poland December 11-14, 2017 /
Publicado: (2018)

New trends in macroeconomics /
por: Diebolt, Claude 1967
Publicado: (2005)

New Trends in Allergy
Publicado: (1981)

Multi-disciplinary Trends in Artificial Intelligence : 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings /
Publicado: (2017)

Fuzzy logic with engineering applications /
por: Ross, Timothy J., et al.
Publicado: (2010)

Fuzzy logic with engineering applications. /
por: Ross, Timothy J.
Publicado: (2017)

Supercomputers and fluid dynamics : proceedings of the First Nobeyama Workshop, September 3-6, 1985 /
por: Kuwahara, Kunio
Publicado: (1986)

A new approach to logic
por: Katz, Robert 1922-, et al.
Publicado: (1964)

New puzzles in logical deduction /
por: Summers, George J.
Publicado: (1968)

New Puzzles in Logical Deduction
por: Summers, George J.
Publicado: (1968)

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Publicado: (2017)

Logic and philosophy of logic : recent trends in Latin America and Spain /
Publicado: (2018)

New Trends in Mechanism and Machine Science : Theory and Applications in Engineering /
Publicado: (2013)

Plant Omics: Trends and Applications /
Publicado: (2016)

Fuzzy Logic and Soft Computing Applications : 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016, Revised Selected Papers /
Publicado: (2017)

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado: (2017)

Applications of fluid dynamics : Proceedings of ICAFD 2016.

New trends in international economic law : from relativism to cooperation /
Publicado: (2018)

Introduction to symbolic logic and its applications /
por: Carnap, Rudolf 1891 - 1970, et al.
Publicado: (1958)

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

Dynamic Profiles for Voting Advice Applications : An Implementation for the 2017 Ecuador National Elections /
Publicado: (2020)

New trends in reading instruction /
por: Umans, shelley
Publicado: (1963)

New product trends in electronics /
Publicado: (1978)

New Trends in Soil Micromorphology
Publicado: (2008)