H ? « ‹ ← → › »

Language peer sets for Herbrand:
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Herbrand(ID:3759/her002)

alternate simple view
Designed 1995

underlying logic constraint language?
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder