Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
8 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    逻辑程序设计语言Gödel的形式化过程性语义 ; The Formalized Procedural Semantic of Logic Programming Language Gödel
    昌杰 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=22031, 2009
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Gödel语言程序设计环境的设计与实现 ; Design and Implementation of Programming Environment for Language Gödel
    侯米娜 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=14432, 2007
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Gödel语言编译系统设计 ; Design for the Compiler of Gödel Language
    林永鹏 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=25539, 2010
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    类型一阶逻辑的基础理论研究 ; Research on Basic Theories of Typed First-order Logic
    徐丹 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=26338, 2010
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    逻辑程序设计语言Gödel的说明性语义 ; The Declarative Semantics of Logic Programming Language Gödel
    高伟 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=22853, 2009
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Gödel语言编译系统中实现计算可视化 ; Implementation of Visual Computing for the Compiler of Programming Language Gödel
    李玲 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=19225, 2008
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Gödel语言编译系统的设计与实现 ; Design and Implementation for the Compiler of Programming Language Gödel
    苏剑煌 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=14307, 2007
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Gödel语言编译系统前端部分设计与实现 ; Design and Implementation in the front part of Gödel compiler system
    王啸澜 ; 赵致琢
    In: http://210.34.4.13:8080/lunwen/detail.asp?serial=10567, 2005
    Hochschulschrift
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -