scientific article; zbMATH DE number 1389646
From MaRDI portal
Publication:4934139
zbMath0951.68172MaRDI QIDQ4934139
Belaïd Benhamou, Laurent Henocque
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Predicting and detecting symmetries in FOL finite model search ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Boosting isomorphic model filtering with invariants
This page was built for publication:
