Suchergebnisse - "Semantics of computation"
-
1
-
2
Autoren: Furio Honsell
Quelle: IFIP Advances in Information and Communication Technology ISBN: 9783319472850
Schlagwörter: 4. Education, 16. Peace & justice
-
3
Autoren:
Quelle: Information and Computation. 135:69-112
Schlagwörter: Computational Theory and Mathematics, Knowledge representation, knowledge representation, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, commonsense reasoning, Logic programming, Theoretical Computer Science, Information Systems, Computer Science Applications
Dateibeschreibung: application/xml
Zugangs-URL: https://dblp.uni-trier.de/db/journals/iandc/iandc135.html#LeoneRS97
https://dl.acm.org/doi/10.1006/inco.1997.2630
https://doi.org/10.1006/inco.1997.2630
https://core.ac.uk/display/82002301
https://www.sciencedirect.com/science/article/pii/S0890540197926304
https://hdl.handle.net/20.500.11770/125296 -
4
-
5
Autoren:
Quelle: Theoretical Computer Science. 91:239-264
Schlagwörter: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
6
Autoren:
Quelle: Widok. Teorie i Praktyki Kultury Wizualnej.
-
7
Autoren: Yorick Wilks
Schlagwörter: 4. Education
Zugangs-URL: http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2531
https://www.igi-global.com/chapter/computational-semantics -requires-computation /64576
https://dblp.uni-trier.de/db/conf/flairs/flairs2011.html#Wilks11 -
8
Autoren: Till PLEWE
Quelle: Conference Proceedings of Japan Society for Software Science and Technology. 2002, :2
-
9
Autoren: Roger Martin-Clouaire
Quelle: International Journal of Approximate Reasoning. 3:195-217
Schlagwörter: 0209 industrial biotechnology, implication functions, deduction rules, t-norms, Applied Mathematics, 02 engineering and technology, approximate reasoning systems, 16. Peace & justice, Theoretical Computer Science, imprecision, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, fuzzy logic, generalized modus ponens, uncertainty, trapezoidal possibility distributions, Software
-
10
Autoren:
Quelle: Theoretical Computer Science. 31:175-209
Schlagwörter: Theoretical Computer Science, Computer Science(all)
Zugangs-URL: https://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84a
https://www.sciencedirect.com/science/article/pii/0304397584900367
https://www.sciencedirect.com/science/article/pii/0304397584901348#!
https://www.sciencedirect.com/science/article/pii/0304397584901348
https://dblp.uni-trier.de/db/journals/tcs/tcs31.html#GoguenB84 -
11
Autoren: Joseph A. Goguen
Quelle: Lecture Notes in Computer Science ISBN: 9783540071426
-
12
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Logic programs, fixed-point semantics, Banach lattices of measures
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.5668; http://euclid.ucc.ie/pages/staff/seda/htdocs/asc.pdf
-
14
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.4318; http://rigel.dbai.tuwien.ac.at/staff/mateis/./gz/aicom.ps.gz
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: [SDV] Life Sciences [q-bio], INTELLIGENCE ARTIFICIELLE
Zugangs-URL: https://hal.inrae.fr/hal-02728289v1
-
16
-
17
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3052; http://www.dbai.tuwien.ac.at/staff/leone/papers/infcom.ps.gz
-
18
Autoren: Mateis, Cristinel
Schlagwörter: QDLP language, Logic programming, knowledge representation language
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/1578174
-
19
Autoren:
Schlagwörter: category theory, colimits, free theories, algebraic theories, CLEAR, abstract theories, Semantics in the theory of computing, comma categories, signed theories, Theories (e.g., algebraic theories), structure, and semantics, two- dimensional categories, calculus of operations, program specifications
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/3903992
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Semantics of computation, domains, Banach lattices of measures, logic pro- grams, fixed-point semantics. Contents
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.501.8667; http://euclid.ucc.ie/pages/staff/seda/htdocs/okeaasc.pdf
Nájsť tento článok vo Web of Science
Full Text Finder