Treffer
1 - 1
von
1
für Suche '
郭海林(GUO Hailin)
'
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 - 郭海林(GUO Hailin)
Treffer
1 - 1
von
1
für Suche '
郭海林(GUO Hailin)
'
, Suchdauer: 0,29s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)
von
郭海林(GUO Hailin)
,
曹锋(CAO Feng)
,
易见兵(YI Jianbing)
,
李俊(LI Jun)
,
吴贯锋(WU Guanfeng)
Veröffentlicht in
Zhejiang da xue xue bao. Journal of Zhejiang University. Sciences edition. Li xue ban
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
Peer Reviewed
1 Treffer
1
Online Resources
1 Treffer
1
Format
Articles
1 Treffer
1
Zeitschriftentitel
Zhejiang Da Xue Xue Bao. Journal Of Zhejiang University. Sciences Edition. Li Xue Ban
1 Treffer
1
Schlagworte
Artificial Intelligence
1 Treffer
1
Combination Optimization
1 Treffer
1
First-Order Logic
1 Treffer
1
Multi-Clause Deduction
1 Treffer
1
Theorem Proving
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Doaj Directory Of Open Access Journals
1 Treffer
1