Normal view MARC view ISBD view

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Mac Donnell, Patricio

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Standard No.: DIF-M4364

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD