Search Sciweavers | Sciweavers

11065 search results - page 262 / 2213

» Education

102

click to vote

CORR
2010
Springer

54views Education» more CORR 2010»

Properties of Exercise Strategies

15 years 5 months ago

Download people.cs.uu.nl

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

claim paper

Read More »

click to vote

CORR
2010
Springer

48views Education» more CORR 2010»

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

15 years 5 months ago

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

click to vote

CORR
2010
Springer

47views Education» more CORR 2010»

Intersection types for unbind and rebind

15 years 5 months ago

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, El...

claim paper

Read More »

119

click to vote

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

15 years 5 months ago

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

132

click to vote

CSEDU
2010

87views Education» more CSEDU 2010»

Physical Task Learning Support System Visualizing a Virtual Teacher by Mixed Reality

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers