Special issue: Satisfiability in the year 2000
From MaRDI portal
Publication:1581846
DOI10.1023/A:1006338702529zbMath0956.00015OpenAlexW2118149352MaRDI QIDQ1581846
No author found.
Publication date: 18 February 2001
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006338702529
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (1)
This page was built for publication: Special issue: Satisfiability in the year 2000
