Search Sciweavers | Sciweavers

835 search results - page 6 / 167

» Geometric Logic in Computer Science

161

click to vote

Presentation

2206views

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

16 years 10 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

15 years 11 months ago

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

122

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

15 years 9 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

15 years 9 months ago

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

Oleg Verbitsky

claim paper

Read More »

122

click to vote

TLCA
2007
Springer

154views Theoretical Computer Science» more TLCA 2007»

On a Logical Foundation for Explicit Substitutions

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers