Pengarang

Nikolay Pelov; Eugenia Ternovska;

Judul

Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Computer Science 3668) Hal 221-234

Judul Artikel

Nama Prosiding

Logic programming: 21 st international conference, ICP 2005 sitges, spain, October 2005, proceedings

Bahasa

Eng

No. Seri

Lecture Notes in Computer Science 3668

Abstrak English

Penerbitan

Springer, 2005

Kata Kunci

Tahun

2005

Subjek

No. Panggil

005.133 Gab l