登入選單
Google圖書搜尋
Control of Switching Systems by Invariance Analysi...
作者
Laurent Fribourg / Romain Soulat
出版John Wiley & Sons, 2013-08-05
ISBN
9781118791622 / 1118791622
主題
Technology & Engineering
˜Aœ superposition oriented theorem prover
作者
Laurent Fribourg
出版1983
ISBN
OCLC:1057860929
Generating Simplification Lemmas Using Extended Pr...
作者
Laurent Fribourg
出版1990
ISBN
OCLC:606085608
A Strong Restriction of the Completion Procedure f...
作者
Laurent Fribourg / Laboratoire informatique théorique et programmation (France)
出版1985
ISBN
OCLC:19879370
主題
Induction (Logic)
Logic Program Synthesis and Transformation - Meta-...
作者
Laurent Fribourg / Franco Turini
出版Springer Science & Business Media, 1994-11-30
ISBN
3540587926 / 9783540587927
主題
Computers
Prolog with Simplification
作者
Laurent Fribourg
出版1986
ISBN
OCLC:16474582
主題
Computer programming
Logic Program Synthesis and Transformation - Meta-...
作者
Laurent Fribourg / Franco Turini
出版Springer, 1994-11-30
ISBN
3540587926 / 9783540587927
主題
Computers
Extracting Logic Programs from Proofs that Use Ext...
作者
Laurent Fribourg
出版1989
ISBN
OCLC:606085600
A Proof Method Based on Folding Lemmas
作者
Staffan Bonnier / Laurent Fribourg
出版1992
ISBN
OCLC:254359026
A Decision Procedure for a Subtheory of Linear Ari...
作者
Laurent Fribourg
出版1991
ISBN
OCLC:186372315
Direct, Dual and Contrapositive Proofs by Inductio...
作者
Laurent Fribourg / Hans Olsén
出版1994
ISBN
OCLC:186699919
主題
Proof theory
A Decision Procedure for a Subtheory of Linear Ari...
作者
Linkoeping University. Dept. of Computer and Information Science / L. Fribourg
出版1991
ISBN
OCLC:29515911
主題
Automatic theorem proving
LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION-META-PR...
作者
Laurent Fribourg / Franco Turini
出版1994
ISBN
OCLC:878753614
Fribourg
作者
Laurent Deroy
ISBN
OCLC:8393234
主題
Fribourg (Switzerland)
Fuzzy Methods for Customer Relationship Management...
作者
Meier, Andreas
出版IGI Global, 2012-01-31
ISBN
9781466600966 / 1466600969
主題
Computers
Vamp II
作者
Laurent Coos
出版Lulu.com, 2010
ISBN
9781470924645 / 1470924641
L'Église et l'État. 3 pt. [in 2. Pt.3 is of the 1s...
作者
François Laurent
出版1862
ISBN
OXFORD:555054191
La fête en ville
作者
Pierre-Laurent Ellenberger
出版1999
ISBN
288108527X / 9782881085277
Bibliographie fribourgeoise / Freiburger Bibliogra...
作者
Jean-Pierre Uldry / Laurent Liaudat / Evelyne Maradan
出版1996
ISBN
282710752X / 9782827107520
主題
Fribourg (Switzerland : Canton)
“Le” développement du ski dans le canton de Fribou...
作者
Anne Philipona
出版1999
ISBN
OCLC:1398667026
Etude sur le commerce de proximité en ville de Fri...
作者
Laurent Gonzalo
出版2004
ISBN
OCLC:716731878
Notice sur les bains de Bonn près Fribourg (Suisse...
作者
Laurent-Bernard Schueler
出版1895
ISBN
OCLC:1040221394
Peine de mort et exécutions dans le canton de Frib...
作者
Laurent Torche
出版1994
ISBN
OCLC:716205173
Espace Jean Tingely et Niki de Saint Phalle à Frib...
作者
Antoine Callet-Molin / Laurent Vuilleumier
出版1995
ISBN
OCLC:1100120902
Espace Jean Tinguely/Niki de Saint Phalle à Fribou...
作者
Antoine Callet-Molin / Laurent Vuilleumier (architecte.)
出版1995
ISBN
OCLC:716679095
La mémoire des "sombres journées de novembre 1918"...
作者
Laurent Andrey
出版2002
ISBN
OCLC:716490253
Démonstration automatique
作者
Laurent Fribourg
出版1982
ISBN
OCLC:490167222
La transformation de l'inégalité économique intern...
作者
Gaston Guadard / Pierre Caille / Laurent Donzé
出版1984
ISBN
OCLC:255873486
Contrecoups
作者
Jeanne Puchol / Laurent-Frédéric Bollée
出版2016-03-16
ISBN
2203092211 / 9782203092211
主題
France
La participation de la Suisse à l'Espace économiqu...
作者
Laurent Donzé / Michel Perriard / Gérald Gavillet / Gaston Gaudard / Fribourg (canton). Direction de l'économie, des transports et de l'énergie
出版1992
ISBN
OCLC:716200086