X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
cafeobj (22) 22
computer science (11) 11
observational transition systems (10) 10
software engineering (10) 10
algebra (7) 7
algebraic specification (7) 7
formal methods (6) 6
artificial intelligence (5) 5
computer communication networks (5) 5
computer networks (5) 5
computer programs (5) 5
formal verification (5) 5
logics and meanings of programs (5) 5
software (5) 5
verification (5) 5
logic (4) 4
mathematics (4) 4
mobile digital rights systems (4) 4
oma-rights expression language (4) 4
reactive rules (4) 4
semantic web (4) 4
semantics (4) 4
specifications (4) 4
computer science - logic in computer science (3) 3
computer science, information systems (3) 3
computer science, software engineering (3) 3
congresses (3) 3
electronic books (3) 3
encoding (3) 3
equations (3) 3
information systems applications (3) 3
institutions (3) 3
license choice algorithm (3) 3
licenses (3) 3
logic design (3) 3
mathematical model (3) 3
programming languages, compilers, interpreters (3) 3
specification and description languages (3) 3
specification languages (3) 3
abstracts (2) 2
ai (2) 2
air traffic control (2) 2
algebraic specifications (2) 2
argumentation (2) 2
artificial thinking (2) 2
asn.1 (2) 2
auszeichnungssprache (2) 2
combinatorics (2) 2
communities (2) 2
computation by abstract devices (2) 2
computer communication systems (2) 2
computer logic (2) 2
computer mathematics (2) 2
computer software (2) 2
computer software engineering (2) 2
electronic brains (2) 2
engineering, electrical & electronic (2) 2
formal specifications (2) 2
geometry (2) 2
gorgias (2) 2
information systems (2) 2
information technology (2) 2
inteligencia artificial (2) 2
intellectronics (2) 2
intelligence, artificial (2) 2
intelligent machines (2) 2
iso standards (2) 2
kongress (2) 2
literature reviews (2) 2
machine intelligence (2) 2
mathematical proof (2) 2
methods (2) 2
mobile communication (2) 2
mobile computing (2) 2
mpeg-2 encoding algorithm (2) 2
number theory (2) 2
observational transition system (2) 2
observers (2) 2
ontologies (2) 2
open standards (2) 2
operating systems (2) 2
ots/cafeobj method (2) 2
physics computing (2) 2
produktionsregelsystem (2) 2
programación basada en reglas (2) 2
proof scores (2) 2
proof theory (2) 2
proof-event (2) 2
protocol specification (2) 2
proving (2) 2
public sector (2) 2
rule-based methods (2) 2
rule-based programming (2) 2
rule-based programming congresses (2) 2
ruleml (2) 2
source authentication (2) 2
specification (2) 2
thinking, artificial (2) 2
tools (2) 2
topology (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2017, Springer Proceedings in Mathematics & Statistics, ISBN 9783319681030, Volume 219
This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics... 
Computer mathematics | Geometry | Mathematics | Topology | Combinatorics | Number theory
Web Resource
2013, Lecture Notes in Computer Science, ISBN 3642396178, Volume 8035
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with... 
Computer science | Logic design | Computer Communication Networks | Artificial intelligence | Software engineering | Information systems
Web Resource
Technoetic Arts: A Journal of Speculative Research, ISSN 1477-965X, 12/2016, Volume 14, Issue 3, pp. 169 - 176
The senses convey impressions, perceptions and ultimately feelings, from which meaning emerges, revealing a platform where perception and thinking are actually... 
art | mapping | embodiment | logic | consciousness | meaning | Art | Mapping | Consciousness | Embodiment | Logic | Meaning
Journal Article
International Journal of Web Information Systems, ISSN 1744-0084, 2016, Volume 12, Issue 4, pp. 418 - 447
Purpose Reactive rules are used for programming rule-based Web agents, which have the ability to detect events and respond to them automatically and can have... 
Formal analysis | Verification | Web agents | CafeOBJ | Reactive rules | Semantic web | Rule based | Webs (structural) | Specification and description languages | Semantics | Methods | Transition rules
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11245, pp. 477 - 493
Conference Proceeding
12/2017, Springer Proceedings in Mathematics & Statistics, ISBN 9783319681023, Volume 219, 481
This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics... 
Topological spaces-Congresses | Algebra-Congresses | Geometry | Computational Mathematics and Numerical Analysis | Mathematics | Topology | Number Theory | Combinatorics
eBook
Studies in Computational Intelligence, ISSN 1860-949X, 2014, Volume 496, pp. 85 - 98
Conference Proceeding
International Journal of Software Engineering and Knowledge Engineering, ISSN 0218-1940, 09/2015, Volume 25, Issue 7, pp. 1105 - 1128
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8373, pp. 541 - 559
Journal Article
Journal of Artificial General Intelligence, 01/2015, Volume 6, Issue 1, p. 130
  This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of... 
Journal Article
Philosophia Scientae, ISSN 1281-2463, 10/2014, Issue 18-3, pp. 111 - 125
Journal Article
Philosophia Scientiæ, ISSN 1281-2463, 10/2014, Volume 18, Issue 3, pp. 111 - 125
The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic,... 
Journal Article
Innovations in Systems and Software Engineering, ISSN 1614-5046, 3/2017, Volume 13, Issue 1, pp. 51 - 66
Open standardization seems to be very popular among software developers as it simplifies the standard’s adoption by the software engineering. Formal... 
Open standards | Computer Applications | Rich Site Summary (RSS)v2.0 protocol | Software Engineering | Formal specification | Computer Science | Computing Methodologies | Formal methods | CafeOBJ
Journal Article
Innovations in Systems and Software Engineering: A NASA Journal, ISSN 1614-5046, 03/2017, Volume 13, Issue 1, p. 51
To access, purchase, authenticate, or subscribe to the full-text of this article, please visit this link: http://dx.doi.org/10.1007/s11334-016-0283-9 
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11092, pp. 203 - 210
Conference Proceeding
Innovations in Systems and Software Engineering, ISSN 1614-5046, 01/2017, Volume 13, Issue 1, pp. 51 - 66
Open standardization seems to be very popular among software developers as it simplifies the standard’s adoption by the software engineering. Formal... 
Open standards | Algebra | Specifications | Specification and description languages | Concrete industry | Design standards | Standardization | Program verification (computers) | Formal specifications | Object oriented programming | Software engineering
Journal Article
Policy & Internet, ISSN 1944-2866, 12/2013, Volume 5, Issue 4, pp. 402 - 417
  The successful implementation of the European Union (EU) public sector information (PSI) Directive and the relevant open data (OD) policies promises... 
regulation | open data | public sector information | policy | Regulation | Open data | Public sector
Journal Article
Philosophia Scientiæ, ISSN 1281-2463, 2014, Volume 18-3, Issue 3, pp. 111 - 125
Le concept de preuve peut être étudié selon différentes perspectives. Beaucoup de types de preuves ont été développées à travers l'histoire, comme les preuves... 
Journal Article
Metaphilosophy, ISSN 0026-1068, 7/2012, Volume 43, Issue 4, pp. 480 - 498
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 11230, pp. 584 - 591
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.