Yorumlar: Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss.

Summary goes here

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	Computer science. Logic design. Artificial intelligence. Electronic Data Processing Artificial Intelligence Algebra. Mathematics. Physical Sciences & Mathematics. Mathematical Logic and Formal Languages. Theory of Computation. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Artificial Intelligence. Logics and Meanings of Programs. Informatique. Structure logique. Intelligence artificielle. artificial intelligence. Artificial intelligence Computer science Logic design Conference papers and proceedings
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

İlk yorumlayan siz olun!