IIE Logo

IIE
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000IIE
Print
1. 
Cover image for Introduction to formal languages, automata theory and computation
Introduction to formal languages, automata theory and computation
Introduction to formal languages, automata theory and computation
by 
Krithivasan, Kamala.
Safari Books Online http://proquest.safaribooksonline.com/640 http://proquest.safaribooksonline.com/?fpi=9788131723562
Safari Books Online http://proquest.safaribooksonline.com/9788131723562
Volltext http://proquest.tech.safaribooksonline.de/9788131723562
Format: 
Electronic Resources
Publication Date 
2009
Excerpt: 
Introduction to formal languages, automata theory and computation / Krithivasan, Kamala.
Available: Copies:
2. 
Cover image for Theoretical issues in psychology : an introduction
Theoretical issues in psychology : an introduction
by 
Bem, Sacha, 1940-
Format: 
Books
Publication Date 
2013
Excerpt: 
. Functionalism, Multiple Realization and the Autonomy of Cognitive Science -- 7.3.Computation and Formal
Available: Copies:
3. 
Cover image for Computational logic and human thinking : how to be artificially intelligent
Computational logic and human thinking : how to be artificially intelligent
by 
Kowalski, Robert.
EBSCO https://ezproxy.iielearn.ac.za/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&AN=375916&site=ehost-live&scope=site
Format: 
Books
Publication Date 
2011
Excerpt: 
presentation makes the book accessible to readers from any background, but optional, more formal, chapters are
Available: Copies:
4. 
Cover image for Developments in language theory : 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings
Developments in language theory : 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006 : proceedings
by 
Conference on Developments in Language Theory (10th : 2006 : Santa Barbara, Calif.)
Restricted to SpringerLink subscribers
Publisher description http://www.loc.gov/catdir/enhancements/fy0661/2006927282-d.html
Format: 
Books
Publication Date 
2006
Excerpt: 
Formal languages -- Congresses.
Available: Copies:
5. 
Cover image for An introduction to formal logic
An introduction to formal logic
by 
Smith, Peter, 1944-
Format: 
Books
Publication Date 
2003
Excerpt: 
An introduction to formal logic / Smith, Peter, 1944-
Available: Copies:
6. 
Cover image for Formal specification using Z
Formal specification using Z
by 
Lightfoot, David, 1951-
Format: 
Books
Publication Date 
2001
Excerpt: 
Formal specification using Z / Lightfoot, David, 1951-
Available: Copies: