Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj
Format:	Preprint
Published:	2025
Subjects:	Human-Computer Interaction Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items