The Analysis and Synthesis of Logic Translation

Conference proceeding

Peer reviewed

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012

2012

Handle:

https://hdl.handle.net/10863/52876

Files and links (1)

url

http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4448View

Title: The Analysis and Synthesis of Logic Translation
Creators: T Fu
Oliver Kutz
Publication Details: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida. May 23-25, 2012
Editor(s): Youngblood GM, McCarthy PM
ISBN: 9781577355588
Publisher: AAAI Press
Identifiers: 9781577355588
(UNIBZ)686440
991007384072401241
Scopus ID: n.a.
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Fu T, Kutz O
Additional Description: Editors/Supervisors: Youngblood GM, McCarthy PM
description: Record is part of a bulk validation set

1 Record Views