International Journal of Software and Informatics

Journal Abbreviation: ISJI
ISSN: 1673-7288
Publisher: International Federation of Computational Logic

Publications (1)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

On Inconsistency and Unsatisfiability (2015) Schröder L, Mossakowski T Journal article, Original article