Letzte Suchanfragen
Ergebnisse für *
Es wurden 22 Ergebnisse gefunden.
Zeige Ergebnisse 1 bis 22 von 22.
Sortieren
-
Efficient parsing for natural language
a fast algorithm for practical systems -
Symbolic logic and mechanical theorem proving
-
Problem-solving methods in artificial intelligence
-
Efficient parsing for natural language
a fast algorithm for practical systems -
Applied mathematics & optimization
an international journal with applications to stochastics -
Mathematical programming
Series A, Series B ; a publication of the Mathematical Programming Society -
Problem-solving methods in artificial intelligence
-
Efficient parsing for natural language
a fast algorithm for practical systems -
Efficient parsing for natural language
a fast algorithm for practical systems -
Efficient parsing for natural language
a fast algorithm for practical systems -
Efficient parsing for natural language
a fast algorithm for practical systems -
Symbolic logic and mechanical theorem proving
-
Symbolic logic and mechanical theorem proving
-
Problem-solving methods in artificial intelligence
-
Problem-solving methods in artificial intelligence
-
Efficient parsing for natural language
a fast algorithm for practical systems -
Symbolic logic and mechanical theorem proving
-
Problem solving methods in artificial intelligence
-
Efficient parsing for natural language
a fast algorithm for practical systems -
Symbolic logic and mechanical theorem proving
-
Mathematical optimization techniques
[papers ... presented at a Symposium on Mathematical Optimization Techniques, held in Santa Monica, Civic Auditorium, Santa Monica, Calif., on Oct. 18 - 20, 1960] -
Symbolic logic and mechanical theorem proving