Rezultaty - "formal logic"
Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
- Artificial intelligence 38
- Computer science 32
- Software Engineering 32
- Computer networking & communications 28
- Computer programming / software development 26
- Algorithms & data structures 12
- Mathematical theory of computation 12
- Programming & scripting languages: general 8
- Computer modelling & simulation 6
- Computer hardware 4
- Network hardware 4
- Databases 2
- Discrete mathematics 2
- Information retrieval 2
- Mathematical foundations 2
- Natural language & machine translation 2
-
41
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
42
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
43
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
44
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
45
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
46
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
47
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Wydane 2020Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
48
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Wydane 2020Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
49
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
50
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
51
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Wydane 2020Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
52
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Wydane 2020Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
53
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
54
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
55
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
56
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
57
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
58
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Wydane 2021Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
59
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Wydane 2020Hasła przedmiotowe: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
60
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Wydane 2020Hasła przedmiotowe: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział