Treffer 1 - 20 von 102 für Suche 'Kwon, Keehang', Suchdauer: 0,74s Treffer weiter einschränken
  1. 1
    A Heuristic Proof Procedure for First-Order Logic

    A Heuristic Proof Procedure for First-Order Logic von KWON, Keehang


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Choice Disjunctive Queries in Logic Programming

    Choice Disjunctive Queries in Logic Programming von KWON, Keehang, KANG, Daeseong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Expressing Algorithms as Concise as Possible via Computability Logic

    Expressing Algorithms as Concise as Possible via Computability Logic von KWON, Keehang


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Bounded-Choice Statements for User Interaction in Imperative Programming

    Bounded-Choice Statements for User Interaction in Imperative Programming von KWON, Keehang, SEO, Jeongyoon, KANG, Daeseong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Towards Interactive Object-Oriented Programming

    Towards Interactive Object-Oriented Programming von KWON, Keehang, PARK, Kyunghwan, PARK, Mi-Young


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Improving Robustness via Disjunctive Statements in Imperative Programming

    Improving Robustness via Disjunctive Statements in Imperative Programming von KWON, Keehang, HUR, Sungwoo, PARK, Mi-Young


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Query System for Texts with Macros

    A Query System for Texts with Macros von KWON, Keehang, KANG, Dae-Seong, KIM, Jinsoo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Implementing Dynamic Programming in Computability Logic Web

    Implementing Dynamic Programming in Computability Logic Web von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Forward Reasoning via Sequential Queries in Logic Programming

    Forward Reasoning via Sequential Queries in Logic Programming von Kwon, Keehang


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Evolving Recursive Definitions with Applications to Dynamic Programming

    Evolving Recursive Definitions with Applications to Dynamic Programming von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Extending LogicWeb via Hereditary Harrop Formulas

    Extending LogicWeb via Hereditary Harrop Formulas von KWON, Keehang, KANG, Dae-Seong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Heuristic Proof Procedure for Propositional Logic

    A Heuristic Proof Procedure for Propositional Logic von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    What is an Algorithm?: a Modern View

    What is an Algorithm?: a Modern View von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Computability-logic web: an alternative to deep learning

    Computability-logic web: an alternative to deep learning von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Implementing Agent-Based Systems via Computability Logic CL2

    Implementing Agent-Based Systems via Computability Logic CL2 von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Removing Qualified Names in Modular Languages

    Removing Qualified Names in Modular Languages von Kwon, Keehang, Kang, Daeseong

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Towards Distributed Logic Programming based on Computability Logic

    Towards Distributed Logic Programming based on Computability Logic von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Extending and Automating Basic Probability Theory with Propositional Computability Logic

    Extending and Automating Basic Probability Theory with Propositional Computability Logic von Kwon, Keehang

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Improving Robustness via Disjunctive Statements in Imperative Programming : Dependable Computing

    Improving Robustness via Disjunctive Statements in Imperative Programming : Dependable Computing von KWON, Keehang, HUR, Sungwoo, PARK, Mi-Young


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Implementing Dynamic Programming in Computability Logic Web

    Implementing Dynamic Programming in Computability Logic Web von Kwon, Keehang

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: