Cover Image

Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings /

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), a...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Prevosto, Virgile (Editor), Seceleanu, Cristina (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14066
Subjects:	Reasoning. Computer science. Informal Logic. Models of Computation.
Online Access:	https://doi.org/10.1007/978-3-031-38828-6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Published: (2025)

With good reason: an introduction to informal fallacies/
by: Engel, S. Morris
Published: (1982)

Reasoning and Logic/
by: Angell, Richard B.
Published: (1964)

Becoming logical : an introduction to logic / an introduction to logic
by: Churchill, Robert Paul
Published: (1990)

The power of logic / the power of logic
by: Layman, C. Stephen
Published: (2002)

Introduction to logic / introduction to logic
by: Copi, Irving M.
Published: (1986)

Introduction to Logic / Introduction to Logic
by: Copi, Irving M.
Published: (2009)

Introduction to logic/
by: Copi, Irving M.
Published: (1990)

Introduction to logic/
by: Copi, Irving M.
Published: (2004)

The Elements of Logic /
by: Barker, Stephen F.
Published: (1974)

Argument/ The Logic of the Fallacies
by: Woods, John
Published: (1982)

The elements of logical analysis and inference/
by: Hocutt, Max
Published: (1979)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
by: Farmer, William M.
Published: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
by: Farmer, William M.
Published: (2025)

An introduction to reasoning/
by: Toulmin, Stephen
Published: (1979)

Thinking Logically : Basic Concepts for Reasoning /
by: Freeman, James B.
Published: (1988)

The Elements of Logic /
by: Barker, Stephen F.
Published: (1965)

The dialogue of reason : an analysis of analytical philosophy /
by: Cohen, L. Jonathan
Published: (1986)

A concise guide to critical thinking / a concise guide to critical thinking
by: David, Hughes
Published: (2012)

Critical thinking : an appeal to reason / an appeal to reason
by: Tittle, Peg
Published: (2011)

Proof theory of modal logic /
Published: (1996)

The Art of Reasoning
by: Kelley
Published: (1998)

Logic and Proof Techniques / Logic and Proof Techniques
by: Eberle, Rolf A.
Published: (1996)

Critical Thinking
by: van den Berg
Published: (2014)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Published: (2023)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Published: (2025)

Proofs and refutations/ the logic of mathemati-
by: LAKATOS, Inre
Published: (1976)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Published: (2023)

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 – November 1, 2024, Proceedings /
Published: (2025)

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17–19, 2023, Revised Selected Papers /
Published: (2025)

R-Calculus, VI: Finite Injury Priority Method
by: Li, Wei, et al.
Published: (2025)

Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings /
Published: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Published: (2023)

Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings /
Published: (2023)

Structural Decision Diagrams in Digital Test Theory and Applications /
by: Ubar, Raimund, et al.
Published: (2024)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Published: (2024)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Published: (2023)

An Introduction to reasoning/
by: Toulmin, Stephen
Published: (1979)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Published: (2023)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Published: (2023)