Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings
type: Item
instance of: scholarly article
title: Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings
zbMATH Open document ID: 1391.68006
DOI: 10.1007/978-3-319-94205-6
published in: Lecture Notes in Computer Science
publication date: 2018-07-12T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6902800
Wikidata QID: Q117021968
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-94205-6
OpenAlex ID: W4246020801
description: scientific article; zbMATH DE number 6902800