1990

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

International Conference on Computer Logic (1988 : Tallinn, Estonia)

Berlin ; New York : Springer-Verlag, ©1990

 

2024

Dynamic logic : new trends and applications : 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, revised selected papers

DaLí (International Workshop). (5th : 2023 : Tbilisi, Georgia)

Cham : Springer, [2024]

 

2024

Selected reflections in language, logic, and information : ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 student sessions selected papers

European Summer School in Logic, Language, and Information (31st : 2019 : Riga, Latvia)

Cham : Springer, [2024]

 

2024

From computational logic to computational biology : essays dedicated to Alfredo Ferro to celebrate his scientific career

Cham : Springer, 2024

 

2023

A critical understanding of artificial intelligence : a phenomenological foundation

Mickūnas, Algis, author.

Singapore : Bentham Science Publishers, 2023

 

2023

Toward robots that reason : logic, probability & causal laws

Belle, Vaishak, author

Cham, Switzerland : Springer, 2023

 

2023

Artificial intelligence logic and applications : the 3rd international conference, AILA 2023, Changchun, China, August 5-6, 2023, proceedings

International Conference on Artificial Intelligence Logic and Applications (3rd : 2023 : Changchun, China)

Singapore : Springer, 2023

 

2023

Computer performance engineering and stochastic modelling : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, proceedings

EPEW (Workshop) (19th : 2023 : Florence, Italy)

Cham : Springer, [2023]

 

2023

Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers

DaLí (International Workshop) (4th : 2022 : Online)

Cham, Switzerland : Springer, 2023

 

2023

Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings

ICLA (Conference : Logic) (10th : 2023 : Indore, India)

Cham, Switzerland : Springer, [2023]

 

2023

Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

JELIA (Conference) (18th : 2023 : Dresden, Germany)

Cham, Switzerland : Springer, [2023]

 

2023

Logic: reference book for computer scientists

Polkowski, Lech, author.
2nd revised, modified, and enlarged edition of “Logics for computer and data sciences, and artificial intelligence."
Cham : Springer, [2023]

 

2023

Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal)

Cham, Switzerland : Springer, 2023

 

2023

Reversible computation : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

RC (Workshop : Reversible computation) (15th : 2023 : Giessen, Germany)

Cham : Springer, 2023

 

2023

Rules and reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

RuleML+RR (Joint Conference) (7th : 2023 : Oslo, Norway)

Cham : Springer, 2023

 

2023

Computer safety, reliability, and security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2023

Computer safety, reliability, and security : SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2022

Computational thinking for life scientists

Chor, Benny, author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022

 

2022

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

IJCAR (Conference) (11th : 2022 : Haifa, Israel)

Cham, Switzerland : Springer, 2022

 

2022

Artificial intelligence logic and applications : the 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings

AILA (Conference) (2nd : 2022 : Shanghai, China)

Singapore : Springer, [2022]

 

2022

Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2002, proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2022

Computer safety, reliability, and security : SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2022

Logical foundations of computer science : international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings

LFCS (Symposium) (2022 : Deerfield Beach, Fla.)

Cham : Springer, [2022]

 

2022

Logic-based program synthesis and transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

LOPSTR (Symposium) (31st : 2021 : Tallinn, Estonia ; Online)

Cham, Switzerland : Springer, 2022

 

2022

Model-based safety and assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

IMBSA (Symposium) (8th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

Logic-based program synthesis and transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

LOPSTR (Symposium) (32nd : 2022 : Tbilisi, Georgia ; Online)

Cham, Switzerland : Springer, 2022

 

2022

Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings

Workshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania)

Cham : Springer, 2022

 

2022

Reversible computation : 14th international conference, RC 2022

RC (Workshop : Reversible computation) (14th : 2022 : Urbino, Italy)



 

2022

Rewriting logic and its applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, revised selected papers

WRLA (Conference) (14th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

R-calculus.

Li, Wei, author

Singapore : Springer, 2022

 

2022

Rules and reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

RuleML+RR (Joint conference) (6th : 2022 : Online)



 

2022

The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

Cham, Switzerland : Springer, 2022

 

2022

Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (13th : 2019 : Batumi, Georgia)

Cham : Springer, 2022

 

2022

Logics for computer and data sciences, and artificial intelligence

Polkowski, Lech, author.

Cham, Switzerland : Springer, 2022

 

2021

Progress in Computing

Rouse, George



 

2021

Computer algebra in scientific computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings

International Workshop on Computer Algebra in Scientific Computing (23rd : 2021 : Sochi, Russia ; Online)

Cham, Switzerland : Springer, 2021

 

2021

Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)



 

2021

Computer safety, reliability, and security : SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)

Cham : Springer, 2021

 

2021

Computational thinking : a perspective on computer science

Xu, Zhiwei



 

2021

Fundamentals of logic and computation : with practical automated reasoning and verification

Hou, Zhe (Lecturer)



 

2021

Nonsequential and distributed programming with Go : synchronization of concurrent processes: communication - cooperation - competition

Maurer, Christian, 1945- author.

Wiesbaden : Springer, [2021]

 

2021

Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings

LOPSTR (Symposium) (30th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday

 

2021

Mathematical reasoning : the history and impact of the DReaM group

 

2021

Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers

International Conference on Software Engineering and Formal Methods (18th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Reversible computation : 13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings

RC (Workshop : Reversible computation) (13th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Performance engineering and stochastic modeling : 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings

EPEW (Workshop) (17th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

RuleML+RR (Joint Conference) (5th : 2021 : Leuven, Belgium)

Cham : Springer, 2021

 

2021

Thinking programs : logical modeling and reasoning about languages, data, computations, and executions

Schreiner, Wolfgang, 1967-



 

2021

Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

International Conference on Formal Engineering Methods (22nd : 2020 : Singapore, Singapore)