Search Sciweavers | Sciweavers

835 search results - page 6 / 167

» Geometric Logic in Computer Science

click to vote

Presentation

2206views

An Introduction to Visualization Using VTK - Geometric Modeling - 3D Interaction / Widgets (Part 4)

15 years 4 months ago

Download vis.computer.org

Very easy to read tutorial about geometric modeling, 3D widget, and interaction in VTK.

William J. Schroeder, Kitware, Inc.

posted by libingdzh

Read More »

click to vote

SOFSEM
2009
Springer

73views Theoretical Computer Science» more SOFSEM 2009»

Safe Reasoning with Logic LTS

14 years 5 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

14 years 3 months ago

Download www.cmi.ac.in

Volker Diekert, Manfred Kufleitner

claim paper

Read More »

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

14 years 2 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

click to vote

TLCA
2007
Springer

154views Theoretical Computer Science» more TLCA 2007»

On a Logical Foundation for Explicit Substitutions

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers