Megjelenítés: 1 - 20 / 116 - kulcsszavak: '"logika"', keresési idő: 0.04mp Találatok szűrése
1
Philosophical and mathematical logic
Szerző: Swart, Harrie de, szerző(1944-)
Megjelenés: 2018
Tárgyszavak: “...logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Neighborhood semantics for modal logic
Szerző: Pacuit, Eric
Megjelenés: 2017
Tárgyszavak: “...modális logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Solving higher-order equations : From logic to programming
Szerző: Prehofer, Christian
Megjelenés: 1998
Tárgyszavak: “...matematikai logika...”
könyv
Mentés a listára
Mentés helye:
4
Probabilistic Extensions of Various Logical Systems
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...matematikai logika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Megjelenés: 1994
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
9
Computer science logic : 4th Workshop, CSL'90 Heidelberg, Germany, October 1990 : proceedings
Megjelenés: 1991
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
10
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
Megjelenés: 1995
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
11
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 1988 : proceedings
Megjelenés: 1989
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
12
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Megjelenés: 1999
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
13
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings
Megjelenés: 1990
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
14
Computer science logic : 16th International Workshop, CSL 2002 ; 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 2002 : Proceedings
Megjelenés: 2002
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
15
Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Megjelenés: 1997
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
16
Computer science logic : 11th international workshop, CSL 97 : Annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : Selected papers
Megjelenés: 1998
Tárgyszavak: “...számítógépes logika -- konferencia...”
könyv
Mentés a listára
Mentés helye:
17
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...matematikai logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Descriptional Complexity of Formal Systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Megjelenés: 2019
Tárgyszavak: “...számítógépes logika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése