ERROR LOADING HTML FROM SOURCE (http://ncf.sobek.ufl.edu//design/skins/UFDC/html/header_item.html)

Mycroft

Permanent Link: http://ncf.sobek.ufl.edu/NCFE002945/00001

Material Information

Title: Mycroft An Automated Predicate Logic Theorem Prover
Physical Description: Book
Language: English
Creator: Eliazar, Austin
Publisher: New College of Florida
Place of Publication: Sarasota, Fla.
Creation Date: 2001
Publication Date: 2001

Subjects

Subjects / Keywords: Automated Theorem Provers
Predicate Logic
Artificial Intelligence
Genre: bibliography   ( marcgt )
theses   ( marcgt )
government publication (state, provincial, terriorial, dependent)   ( marcgt )
born-digital   ( sobekcm )
Electronic Thesis or Dissertation

Notes

Statement of Responsibility: by Austin Eliazar
Thesis: Thesis (B.A.) -- New College of Florida, 2001
Electronic Access: RESTRICTED TO NCF STUDENTS, STAFF, FACULTY, AND ON-CAMPUS USE
Bibliography: Includes bibliographical references.
Source of Description: This bibliographic record is available under the Creative Commons CC0 public domain dedication. The New College of Florida, as creator of this bibliographic record, has waived all rights to it worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law.
Local: Faculty Sponsor: Henckell, Karsten

Record Information

Source Institution: New College of Florida
Holding Location: New College of Florida
Rights Management: Applicable rights reserved.
Classification: local - S.T. 2001 E42
System ID: NCFE002945:00001

Permanent Link: http://ncf.sobek.ufl.edu/NCFE002945/00001

Material Information

Title: Mycroft An Automated Predicate Logic Theorem Prover
Physical Description: Book
Language: English
Creator: Eliazar, Austin
Publisher: New College of Florida
Place of Publication: Sarasota, Fla.
Creation Date: 2001
Publication Date: 2001

Subjects

Subjects / Keywords: Automated Theorem Provers
Predicate Logic
Artificial Intelligence
Genre: bibliography   ( marcgt )
theses   ( marcgt )
government publication (state, provincial, terriorial, dependent)   ( marcgt )
born-digital   ( sobekcm )
Electronic Thesis or Dissertation

Notes

Statement of Responsibility: by Austin Eliazar
Thesis: Thesis (B.A.) -- New College of Florida, 2001
Electronic Access: RESTRICTED TO NCF STUDENTS, STAFF, FACULTY, AND ON-CAMPUS USE
Bibliography: Includes bibliographical references.
Source of Description: This bibliographic record is available under the Creative Commons CC0 public domain dedication. The New College of Florida, as creator of this bibliographic record, has waived all rights to it worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law.
Local: Faculty Sponsor: Henckell, Karsten

Record Information

Source Institution: New College of Florida
Holding Location: New College of Florida
Rights Management: Applicable rights reserved.
Classification: local - S.T. 2001 E42
System ID: NCFE002945:00001

ERROR LOADING HTML FROM SOURCE (http://ncf.sobek.ufl.edu//design/skins/UFDC/html/footer_item.html)