Details for: Formal methods in artificial intelligence / › Matheson Library catalog

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Formal methods in artificial intelligence / Allan Ramsay.

By:

Ramsay, Allan, 1953-

Material type: Text

Text

TextSeries: Cambridge tracts in theoretical computer science ; 6Publication details: Cambridge, Eng. : Cambridge University Press, 1988.Description: ix, 279 p. : illISBN:

0521424216 (pbk)

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Matheson Library Main Collection	Main Collection	006.3 R178 (Browse shelf(Opens below))	127		104181

Browsing Matheson Library shelves, Shelving location: Main Collection, Collection: Main Collection Close shelf browser (Hides shelf browser)

Previous					No cover image available	No cover image available		Next
Previous	006.3 P417e The emperor's new mind concerning computers, minds, and the laws of physics /	006.3 P829 Methods and tools for applied artificial intelligence /	006.3 P917t Thinking machines : the evolution of artificial intelligence /	006.3 R178 Formal methods in artificial intelligence /	006.3 R241a V. Artificial intelligence in business, science, and industry /	006.3 R241a V. Artificial intelligence in business, science, and industry /	006.3 R425 Representation and meaning : experiments with information processing systems /	Next

There are no comments on this title.

to post a comment.

Share