Cover Image

QR Code

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings.

Bibliographic Details
Main Author:	Blanchette, Jasmin.
Other Authors:	Kovács, Laura., Pattinson, Dirk.
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing AG, 2022.
Edition:	1st ed.
Series:	Lecture Notes in Computer Science Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings.
by: Kiefer, Stefan.
Published: (2021)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.
by: Shoham, Sharon.
Published: (2022)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I.
by: Shoham, Sharon.
Published: (2022)

Flexible Automation and Intelligent Manufacturing : Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA.
by: Kim, Kyoung-Yun.
Published: (2022)

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.
by: Platzer, André.
Published: (2021)

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.
by: Pientka, Brigitte.
Published: (2023)

Proceedings of the International Joint Conference on Science and Engineering 2022 (IJCSE 2022).
by: Agustin, Hapsari Peni.
Published: (2023)

Proceedings of the International Joint Conference on Arts and Humanities 2022 (IJCAH 2022).
by: Setiawan, Slamet.
Published: (2023)

Reason's neglect rationality and organizing /
by: Townley, Barbara, 1954-
Published: (2008)

Bildverarbeitung in der Automation : Ausgewählte Beiträge des Jahreskolloquiums BVAu 2022.
by: Lohweg, Volker.
Published: (2023)

The Faithful and the Reasonable : Chapters on ecological Foolishness.
by: Librová, Hana.
Published: (2021)

Reasons and rationalizations the limits to organizational knowledge /
by: Argyris, Chris, 1923-
Published: (2004)

Proceedings of the 6th FIRST 2022 International Conference (FIRST-ESCSI 2022).
by: Husni, Nyayu Latifah.
Published: (2023)

Proceedings of the 4th International Conference on Progressive Education 2022 (ICOPE 2022).
by: Perdana, Ryzal.
Published: (2023)

Reimagining Innovation in Education and Social Sciences : Proceedings of the International Joint Conference on Arts and Humanities (IJCAH 2022), September 10-11, 2022, Surabaya, Indonesia.
by: Saroinsong, Wulan Patria.
Published: (2023)

Reasons for Language : Language and Analogical Reasoning Ability in Children with Cochlear Implants and Children with Typical Hearing.
by: Socher, Michaela.
Published: (2020)

Reason-oriented marketing a generic marketing approach for reasonable products and services /
by: Masuch, Martin.
Published: (2012)

Efficient Temporal Reasoning with Uncertainty.
by: Nilsson, Mikael.
Published: (2015)

1000 reasons why Qatar.
Published: (2008)

Proceedings of the International Conference on Education 2022 (ICE 2022).
by: Wibawa, Aji Prasetya.
Published: (2023)

Proceedings of the 2022 Brawijaya International Conference (BIC 2022).
by: Yusran, Yusfan Adeputera.
Published: (2023)

The Amazing Journey of Reason : From DNA to Artificial Intelligence.
by: Alemi, Mario.
Published: (2019)

Information and Communication Technologies in Tourism 2022 : Proceedings of the ENTER 2022 ETourism Conference, January 11-14 2022.
by: Stienmetz, Jason L.
Published: (2022)

Analogy and exemplary reasoning in legal discourse /
Published: (2018)

An Ontological and Reasoning Approach to System of Systems.
by: Knöös Franzén, Ludvig.
Published: (2021)

Robust Stream Reasoning under Uncertainty.
by: de Leng, Daniel.
Published: (2019)

1000 numbers & reason why Dubai.
Published: (2007)

Proceedings of the 8th International Conference on Civil Engineering.
by: Feng, Guangliang.
Published: (2022)

Proceedings of the Conference on Digital Humanities 2022 (CODH 2022).
by: Nuriman, Harry.
Published: (2023)

Cone Penetration Testing 2022 : Proceedings of the 5th International Symposium on Cone Penetration Testing (CPT'22), 8-10 June 2022, Bologna, Italy.
by: Gottardi, Guido.
Published: (2022)

Proceedings of the 8th International Conference on Communication and Media 2022 (i-COME 22).
by: Ismail, Adibah.
Published: (2023)

Proceedings of the 7th Progressive and Fun Education International Conference (PROFUNEDU 2022).
by: Ishartono, Naufal.
Published: (2023)

Proceedings of the 12th International Conference on Green Technology (ICGT 2022).
by: Susanti, Elly.
Published: (2023)

Proceedings of the 5th Legal International Conference and Studies (LICS 2022).
by: Kerem Giray, Faruk.
Published: (2023)

Proceedings of the 4th Vocational Education International Conference (VEIC 2022).
by: Kusumastuti, Adhi.
Published: (2023)

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers.
by: Cochez, Michael.
Published: (2021)

Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings.
by: Krimmer, Robert.
Published: (2022)

Political reason and the language of change : reform and improvement in early modern Europe /
Published: (2023)

Charms of the cynical reason the trickster's transformations in Soviet and post-Soviet culture /
by: Lipovetskii, M. N.
Published: (2011)

Analogical Reasoning in Science Education : - Connections to Semantics and Scientific Modelling in Thermodynamics.
by: Haglund, Jesper.
Published: (2012)