scientific article
From MaRDI portal
Publication:2754068
zbMath0974.68537MaRDI QIDQ2754068
Publication date: 18 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
