Computable Models

Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. I...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: turner, raymond (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: London : Springer London : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Sujets:
Computer science.
Machine theory.
Artificial intelligence.
Natural language processing (Computer science).
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
Natural Language Processing (NLP).
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires