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

QR Code

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

Bibliographic Details
Format:	Book
Language:	English
Published:	c2017.
Online Access:	Ver documento en línea

Similar Items

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

Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers /
Published: (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 /
Published: (2017)

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

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

New Trends in Nanotechnology and Fractional Calculus Applications /
Published: (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 /
Published: (2017)

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

Dynamic Epistemic Logic /
Published: (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 /
Published: (2017)

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

Logic for applications /
by: Nerode, Anil, et al.
Published: (1997)

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

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

Advanced logic for applications
by: Grandy, Richard E.
Published: (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 /
by: Dahl, Verónica, et al.
Published: (1985)

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

New trends in macroeconomics /
by: Diebolt, Claude 1967
Published: (2005)

New Trends in Allergy
Published: (1981)

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

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

Fuzzy logic with engineering applications. /
by: Ross, Timothy J.
Published: (2017)

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

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

New puzzles in logical deduction /
by: Summers, George J.
Published: (1968)

New Puzzles in Logical Deduction
by: Summers, George J.
Published: (1968)

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

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

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

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

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

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

Applications of fluid dynamics : Proceedings of ICAFD 2016.

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

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

Introduction to symbolic logic and its applications
by: Carnap, Rudolf
Published: (1958)

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

New trends in reading instruction /
by: Umans, shelley
Published: (1963)

New product trends in electronics /
Published: (1978)

New Trends in Soil Micromorphology
Published: (2008)