Thread Index (0810)

[Chronological Index] [Top]
Last update: Thu Dec 16 20:23:31 2021
15 threaded messages

  • [mizar] KEAPPA - knowledge exchange for automated reasoning (fwd), Josef Urban
  • [mizar] WELLFND1:1, trybulec
  • [mizar] Revising UPROOTS: Global Choine, trybulec
  • [mizar] Translating Mizar into some standard FOPL-like format?, Ben Goertzel
  • [mizar] Element versus Subgroup, Freek Wiedijk
  • [mizar] Second CFP - JAR special issue for PLMMS, Makarius
  • [mizar] New Mizar articles, Adam Grabowski

    • [Chronological Index] [Top]