-
1
المؤلفون: Andrzej Indrzejczak, Michał Zawidzki
المصدر: Synthese. 201
مصطلحات موضوعية: Philosophy, General Social Sciences
-
2
المؤلفون: Andrzej Indrzejczak, Michał Zawidzki
المصدر: Electronic Proceedings in Theoretical Computer Science. 358
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::19e9f0f4efe88745b9f6a0f6965c4171
https://doi.org/10.4204/eptcs.358.0 -
3
-
4
المؤلفون: Joanna Golińska Pilarek, Taneli Huuskonen, Michał Zawidzki
المصدر: Automated Deduction – CADE 28 ISBN: 9783030798758
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.3, I.2.3, I.2.4, D.3.1, 0603 philosophy, ethics and religion, 01 natural sciences, Denotation, Identity (mathematics), Truth value, 0101 mathematics, Equivalence (measure theory), Mathematics, 010102 general mathematics, 06 humanities and the arts, Extension (predicate logic), Propositional calculus, Satisfiability, Differentiation rules, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3 -
5
المؤلفون: Andrzej Indrzejczak, Michał Zawidzki
المساهمون: Das, A, Negri, S
المصدر: Lecture Notes in Computer Science ISBN: 9783030860585
TABLEAUXمصطلحات موضوعية: FOS: Computer and information sciences, F.4.1, I.2.3, I.2.4, Computer Science - Logic in Computer Science, Semantics (computer science), Computer science, 010102 general mathematics, 06 humanities and the arts, Predicate (mathematical logic), 0603 philosophy, ethics and religion, 01 natural sciences, Focus (linguistics), Logic in Computer Science (cs.LO), Algebra, Free logic, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Partial function, 03B22, 03B35 (Primary) 03B10, 03A05 (Secondary), 060302 philosophy, 0101 mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15f3352bc6a013c3614555efb0d188c7
-
6
المؤلفون: Przemyslaw Andrzej Walega, Michał Zawidzki
مصطلحات موضوعية: Discrete mathematics, 0209 industrial biotechnology, Transitive relation, Object (grammar), Modal logic, 02 engineering and technology, Modal operator, Computer Science Applications, Theoretical Computer Science, Orientation (vector space), 020901 industrial engineering & automation, Computational Theory and Mathematics, Position (vector), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Boolean satisfiability problem, Information Systems, PSPACE, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ac1c8f42c9bc2329f1a668b299ae111
https://doi.org/10.1016/j.ic.2020.104643 -
7
المؤلفون: Michał Zawidzki, Tomasz Lechowski, Przemyslaw Andrzej Walega
المصدر: IEEE Transactions on Computational Intelligence and AI in Games. 8:152-165
مصطلحات موضوعية: Structure (mathematical logic), 050210 logistics & transportation, Theoretical computer science, Computer science, business.industry, 05 social sciences, Spatial intelligence, 02 engineering and technology, Space (commercial competition), Game play, Qualitative reasoning, Qualitative physics, Artificial Intelligence, Control and Systems Engineering, Block (programming), 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, Electrical and Electronic Engineering, Representation (mathematics), business, Software
-
8
المؤلفون: Michał Zawidzki, Joanna Golińska-Pilarek
المصدر: Outstanding Contributions to Logic ISBN: 9783319978789
مصطلحات موضوعية: Information retrieval, Relation (database), Volume (compression), Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d478409ee248c7e77fa57d86ffd75ad3
https://doi.org/10.1007/978-3-319-97879-6_1 -
9
المؤلفون: Ewa Orłowska, Michał Zawidzki, Joanna Golińska-Pilarek
المصدر: Outstanding Contributions to Logic ISBN: 9783319978789
مصطلحات موضوعية: Cognitive science, Academic career, Transcription (linguistics), Biography, Context (language use), Sociology, Relational logic
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::68f51c0f6dd6398e0ccfd77c0aed2136
https://doi.org/10.1007/978-3-319-97879-6_3 -
10كتاب إلكتروني
المؤلفون: Joanna Golińska-Pilarek, Michał Zawidzki
نوع المادة: eBook.
الموضوعات: Computer science, Logic, Symbolic and mathematical
تصنيفات: PHILOSOPHY / Logic, COMPUTERS / Computer Science, MATHEMATICS / Applied, MATHEMATICS / Logic