scientific article
From MaRDI portal
Publication:3620427
zbMath1172.68619MaRDI QIDQ3620427
Rolf Drechsler, Sean Safarpour, Andreas G. Veneris
Publication date: 14 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Uses Software
This page was built for publication:
