Treffer
1 - 1
von
1
für Suche '
"logical consequence sequent calculus"
'
Weiter zum Inhalt
VuFind
Ihr Konto
Log out
Login
Sprache
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Alle Felder
Titel
Zeitschriftentitel
Verfasser
Schlagwort
Beschreibung
Tag
Full text
Suchen
Erweitert
Suchergebnisse - "logical consequence sequent calculus"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
UDC 004.42:510.69
1
logical consequence sequent calculus
1
modal logic
1
partial predicate
1
УДК 004.42:510.69
1
логическое следствие
1
логічний наслідок
1
модальна логіка
1
модальная логика
1
секвенциальное исчисление
1
секвенційне числення
1
частичный предикат
1
частковий предикат
1
Treffer
1 - 1
von
1
für Suche '
"logical consequence sequent calculus"
'
, Suchdauer: 0,02s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Bitte wählen Sie die Treffernummer 1
1
Composition nominative modal logics of partial non-monotone predicates and their calculi
von
Shkilniak, O.S.
,
Kasianiuk, V.S.
,
Malutenko, L.M.
Veröffentlicht 2018
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Suchwerkzeuge:
RSS-Feed abonnieren
–
Diese Suche als E-Mail versenden
–
Suche speichern
Zurück
Treffer weiter einschränken
Institution
Problems in programming
1
Format
Artikel
1
Verfasser
Kasianiuk, V.S.
1
Malutenko, L.M.
1
Shkilniak, O.S.
1
Sprache
Ukrainian
1
Erscheinungsjahr
Von:
Bis: