Recent Work at the Interface of Logic, Combinatorics and Computer Science.

John V. Franco J. Michael Dunn William H. Wheeler

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

computer science
lecture notes
computer scientists
user interface
artificial intelligence
logic programming
user friendly
researchers and practitioners
automated reasoning
information science
data mining
graph theory
electrical engineering
real time
applied mathematics
friendly interface