Treffer
1 - 3
von
3
für Suche '
Mohammad Reza Zand Miralvand
'
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 - Mohammad Reza Zand Miralvand
Treffer
1 - 3
von
3
für Suche '
Mohammad Reza Zand Miralvand
'
, Suchdauer: 1,14s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Verification of Confliction and Unreachability in Rule-Based Expert Systems with Model Checking
von
pira, Einollah
,
Zand Miralvand, Mohammad Reza
,
Soltani, Fakhteh
Veröffentlicht in
International journal of artificial intelligence & applications
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Verification of confliction and unreachability in rule-based expert systems with model checking
von
pira, Einollah
,
Miralvand, Mohammad Reza Zand
,
Soltani, Fakhteh
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Verification of confliction and unreachability in rule-based expert systems with model checking
von
pira, Einollah
,
Mohammad Reza Zand Miralvand
,
Soltani, Fakhteh
Veröffentlicht in
arXiv.org
Volltext
Artikel
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
Online Resources
3 Treffer
3
Format
Articles
3 Treffer
3
Zeitschriftentitel
Arxiv
1 Treffer
1
International Journal Of Artificial Intelligence & Applications
1 Treffer
1
Schlagworte
Expert Systems
2 Treffer
2
Checkers
1 Treffer
1
Computer Science - Artificial Intelligence
1 Treffer
1
Errors
1 Treffer
1
Explosions
1 Treffer
1
Logic
1 Treffer
1
Logic Programming
1 Treffer
1
Mathematical Analysis
1 Treffer
1
Mathematical Models
1 Treffer
1
Optimization
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Proquest Central
1 Treffer
1
Free E- Journals
1 Treffer
1
Arxiv.org
1 Treffer
1
Elektronische Zeitschriftenbibliothek - Frei Zugängliche E-Journals
1 Treffer
1