-
1
المؤلفون: Helmut Seidl
المصدر: Fundamentals of Computation Theory ISBN: 3540156895
FCTمصطلحات موضوعية: Discrete mathematics, Random-access machine, Theoretical computer science, Quadratic equation, Rule-based machine translation, Simple (abstract algebra), Pushdown automaton, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Macro, Time complexity, Computer Science::Formal Languages and Automata Theory, Differentiation rules, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02105d7fa3dbe28673bd9f6279a047d6
https://doi.org/10.1007/bfb0028826 -
2
المؤلفون: Camilla Schwind
المصدر: Lecture Notes in Computer Science ISBN: 354008911X
Natural Language Communication with Computersمصطلحات موضوعية: Predicate logic, Grammar, Computer science, business.industry, State logic, media_common.quotation_subject, computer.software_genre, Differentiation rules, Algebra, Formal grammar, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Truth value, Question answering, Artificial intelligence, business, computer, Natural language processing, Natural language, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d868d9e189188ef9e25170105c149a53
https://doi.org/10.1007/bfb0031368 -
3
المؤلفون: Rolf Socher-Ambrosius
المصدر: Algebraic and Logic Programming ISBN: 354055873X
ALPمصطلحات موضوعية: Soundness, Equational reasoning, Knowledge management, Goal orientation, Computer science, business.industry, Programming language, computer.software_genre, Differentiation rules, Set (abstract data type), Critical pair, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Completeness (order theory), ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, business, Rule of inference, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7208a10528fbc56d3ce0c04cbc77cd01
https://doi.org/10.1007/bfb0013842 -
4
المؤلفون: Mark Willems
المصدر: Processing Declarative Knowledge ISBN: 354055033X
PDKمصطلحات موضوعية: Graph rewriting, Theoretical computer science, Hierarchy (mathematics), Semantics (computer science), Computer science, Programming language, computer.software_genre, Rotation formalisms in three dimensions, Differentiation rules, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computational semantics, Conceptual graph, Representation (mathematics), computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d9e9b465609d7e2616df81cf1a82a746
https://doi.org/10.1007/bfb0013521 -
5
المؤلفون: Eberhard Stickel, Otto Rauh
المصدر: Entity-Relationship Approach — ER '93 ISBN: 3540582177
ERمصطلحات موضوعية: Information retrieval, Binary relation, Computer science, Schema (psychology), Differentiation rules, Original data
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ecb6415490101619bd8f6d0d1bbd3585
https://doi.org/10.1007/bfb0024358