Treffer
1 - 2
von
2
für Suche '
Shehtman, Valentin B
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Shehtman, Valentin B
Treffer
1 - 2
von
2
für Suche '
Shehtman, Valentin B
'
, Suchdauer: 0,25s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Squares of modal logics with additional connectives
von
Shehtman, Valentin B
Veröffentlicht in
Russian mathematical surveys
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Algorithmic aspects of propositional tense logics
von
Chagrov, Alexander V.
,
Shehtman, Valentin B.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
2 Treffer
2
Online Resources
2 Treffer
2
Format
Articles
1 Treffer
1
Book Chapters
1 Treffer
1
Zeitschriftentitel
Russian Mathematical Surveys
1 Treffer
1
Schlagworte
Science & Technology
2 Treffer
2
Classical Predicate Logic
1 Treffer
1
Completeness
1 Treffer
1
Computer Science
1 Treffer
1
Computer Science, Theory & Methods
1 Treffer
1
Construction
1 Treffer
1
Entscheidungsproblem
1 Treffer
1
Filtration Method
1 Treffer
1
Finite Model Property
1 Treffer
1
Logic
1 Treffer
1
Mathematical Analysis
1 Treffer
1
Mathematics
1 Treffer
1
Modal Logic
1 Treffer
1
Physical Sciences
1 Treffer
1
Predicate Logic
1 Treffer
1
Product Of Modal Logics
1 Treffer
1
Projection
1 Treffer
1
Segerberg Square
1 Treffer
1
Symmetry
1 Treffer
1
Technology
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Iop Publishing Journals
1 Treffer
1
Institute Of Physics (Iop) Journals - Heal-Link
1 Treffer
1
Iopscience Extra
1 Treffer
1
Ingentaconnect
1 Treffer
1
Turpion Journals
1 Treffer
1
Online Serials From Russia/Nis Available From East View (Udb-Ind)
1 Treffer
1