Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /

Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /

Show other versions (1)

Foundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References.

Saved in:
Bibliographic Details
Main Authors: Schmidt-Schauß, M. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
Subjects:Computer science., Mathematical logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages.,
Online Access:http://dx.doi.org/10.1007/BFb0024065
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:170181
record_format koha
spelling KOHA-OAI-TEST:1701812018-07-30T22:46:57ZComputational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] / Schmidt-Schauß, M. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1989.engFoundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References.Computer science.Mathematical logic.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Mathematical Logic and Formal Languages.Springer eBookshttp://dx.doi.org/10.1007/BFb0024065URN:ISBN:9783540467748
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Computer science.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
spellingShingle Computer science.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Computer science.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Schmidt-Schauß, M. editor.
SpringerLink (Online service)
Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
description Foundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References.
format Texto
topic_facet Computer science.
Mathematical logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
author Schmidt-Schauß, M. editor.
SpringerLink (Online service)
author_facet Schmidt-Schauß, M. editor.
SpringerLink (Online service)
author_sort Schmidt-Schauß, M. editor.
title Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
title_short Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
title_full Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
title_fullStr Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
title_full_unstemmed Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
title_sort computational aspects of an order-sorted logic with term declarations [electronic resource] /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1989
url http://dx.doi.org/10.1007/BFb0024065
work_keys_str_mv AT schmidtschaußmeditor computationalaspectsofanordersortedlogicwithtermdeclarationselectronicresource
AT springerlinkonlineservice computationalaspectsofanordersortedlogicwithtermdeclarationselectronicresource
_version_ 1756263280507092992

Similar Items