scientific article; zbMATH DE number 2079848
From MaRDI portal
Publication:4471959
zbMath1042.68102MaRDI QIDQ4471959
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1930/19300240.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Model theory of finite structures (03C13)
Related Items (2)
Predicting and detecting symmetries in FOL finite model search ⋮ MACE4 and SEM: A Comparison of Finite Model Generators
This page was built for publication:
