Computer supported mathematics with \(\Omega\)MEGA

From MaRDI portal
Publication:865650

DOI10.1016/j.jal.2005.10.008zbMath1107.68101OpenAlexW2141290989MaRDI QIDQ865650

Christoph Benzmüller, Serge Autexier, Jörg H. Siekmann

Publication date: 20 February 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.10.008



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (11)


Uses Software


Cites Work


This page was built for publication: Computer supported mathematics with \(\Omega\)MEGA