Zum Inhalt springen

Suchergebnisse

  • Management of Data SIGOPS Operating Systems SIGPLAN Programming Languages SIGSAC Security, Audit and Control SIGSAM Symbolic and Algebraic Manipulation…
    9 KB (925 Wörter) - 16:33, 12. Jun. 2025
  • Sortenlogik (Kategorie Wikipedia:Vorlagenfehler/Vorlage:Cite journal/temporär)
    Extended Prolog with Order-Sorted Resolution.4th IEEE Symposium of Logic Programming. San Francisco 1987, S. 34–45.  H. Kleine Büning,: Sorten und Terme…
    58 KB (7.628 Wörter) - 17:38, 15. Jul. 2025
  • advancement of Natural Knowledge, published originally in Her Majesty's dominions within a period of not more than ten years and not less than one year of the…
    166 KB (460 Wörter) - 17:57, 23. Dez. 2024