Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

TK Solver

Known as: TK!Solver, TK/Solver 
TK Solver (originally TK!Solver) is a mathematical modeling and problem solving software system based on a declarative, rule-based language… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Praktik Pengalaman Lapangan merupakan salah satu mata kuliah yang wajib ditempuh bagi mahasiswa program pendidikan dari setiap… Expand
Is this relevant?
2015
2015
Pelatihan ini bertujuan untuk membantu guru mengembangkan dan meningkatkan kemampuan, serta keterampilan dalam berkreasi gerak… Expand
Is this relevant?
2009
2009
The defect of a continuous approximate solution to an ODE is the amount by which that approximation fails to satisfy the ODE. A… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2007
2007
  • J. Hearle
  • Computational Textile
  • 2007
  • Corpus ID: 34422351
The development of computing of structural mechanics of fibres and textiles is linked to the advances in computer hardware and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
The efficient combining and augmenting of decision procedures are often very important for a successful use of theorem provers… Expand
  • table I
  • table II
  • table III
  • figure 1
Is this relevant?
2004
2004
For the prediction of mechanical properties of hot strip from production conditions by metallurgically oriented computer assisted… Expand
Is this relevant?
2001
2001
The Herpes Simplex virus thymidine kinase gene (HSV-tk) has been widely used as a suicide gene in cancer gene therapy. Since the… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1996
1996
Personal computer-based computational programs have begun to replace procedural programming as the tools of choice for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1993
1993
Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1985
1985
The rapid proliferation of personal computers has brought a new class of users, the so-called non-computer professionals, into… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?