Listing 1 - 3 of 3 |
Sort by
|
Choose an application
CD-ROM --- Kernfysica
Choose an application
Colloques --- Colloquia --- Kernfysica --- Physique nucléaire --- Nuclear fission --- Nuclear fission. --- Monograph
Choose an application
Colloques --- Colloquia --- Intelligence artificielle --- Kernfysica --- Kunstmatige intelligentie --- Physique nucléaire --- 681.3*I23 <063> --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 9999 --- Scientific Output --- Monograph
Listing 1 - 3 of 3 |
Sort by
|