Logic for Programming and Automated Reasoning 7th International Conf
- PDF / 5,623,096 Bytes
- 499 Pages / 442.956 x 667.881 pts Page_size
- 113 Downloads / 235 Views
L e c tu re N o te s in C o m p u te r S c ie n c e E d ite d b y G . G o o s , J . H a rtm a n is a n d J . v a n L e e u w e n
1 9 5 5
3 B e r lin H e id e lb e rg N e w Y o rk B a rc e lo n a H o n g K o n g L o n d o n M ila n P a r is S in g a p o re T o k y o
M ic h e l P a rig o t
A n d r e i V o r o n k o v ( E d s .)
L o g ic fo r P ro g ra m m in g a n d A u to m a te d R e a s o n in g 7 th In te rn a tio n a l C o n fe re n c e , L P A R 2 0 0 0 R e u n io n Is la n d , F ra n c e , N o v e m b e r 6 -1 0 , 2 0 0 0 P ro c e e d in g s
13
S e rie s E d ito rs J a im e G . C a r b o n e ll, C a r n e g ie M e llo n U n iv e r s ity , P itts b u rg h , P A , U S A J o¨ r g S i e k m a n n , U n i v e r s i t y o f S a a r l a n d , S a a b r u¨ c k e n , G e r m a n y V o lu m e E d ito rs M ic h e l P a rig o t C N R S - U n i v e r s i t e´ d e P a r i s 7 c a s e 7 0 1 2 , 2 p la c e J u s s ie u , 7 5 2 5 1 P a ris C e d e x 0 5 , F ra n c e E -m a il: p a rig o t@ lo g iq u e .ju s s ie u .f r A n d re i U n iv e r s O x fo rd E -m a il:
V o ity R d v o
ro n o f , M ro n
k o v M a n c h e s te r, C o m p u te r S c ie n c e D e p a rtm e n t a n c h e s te r M 1 3 9 P L , U n ite d K in g d o m k o v @ c s .m a n .a c .u k
C a ta lo g in g -in -P u b lic a tio n D a ta a p p lie d fo r D ie D e u ts c h e B ib lio z th e k - C IP -E in h e its a u fn a h m e L o g ic fo r p ro g ra m m in g a n d a u to m a te d c o n fe re n c e ; p ro c e e d in g s / L P A R 2 0 0 0 N o v e m b e r 6 - 1 0 , 2 0 0 0 . M ic h e l P a rig o H e id e lb e rg ; N e w Y o rk ; B a rc e lo n a ; H S in g a p o re ; T o k y o : S p rin g e r, 2 0 0 0 (L e c tu re n o te s in c o m p u te r s c ie n c e ; a rtifi c ia l in te llig e n c e ) IS B N 3 -5 4 0 -4 1 2 8 5 -9
re , R t ; o n
a s o n in g e u n io n A n d re i g K o n g
: 7 th Is la n d V o ro n ; L o n
in te , F r k o v d o n
rn a a n c (e d ; M
tio n a l e , .). - B e rlin ; ila n ; P a ris ;
V o l. 1 9 5 5 : L e c tu re n o te s in
C R S u b je c t C la s s ifi c a tio n (1 9 9 8 ): I.2 .3 , F .3 , F .4 .1 IS B N 3 -5 4 0 -4 1 2 8 5 -9 S p rin g e r-V e rla g B e rlin H e id e lb e rg N e w Y o rk T h is w o rk is s u b je c c o n c e rn e d , s p e c ifi c a re p ro d u c tio n o n m ic o r p a rts th e re o f is p e in its c u rre n t v e rs io n lia b le fo r p ro s e c u tio S p rin g e r-V e rla g a m e m b e r o f B e c S p rin g e r-V e r P rin te d in G e rm
t to c o p y rig h t. A ll rig h ts a re re s e rv e d , w h e th e r th e w h o le o r p a rt o f th e m a te ria l is lly th e rig h ts o f tra n s la tio n , re p rin tin g , re -u s e o f illu s tra tio n s , re c ita tio n , b ro a d c a s tin g , ro fi lm s o r in a n y o th e r w a y , a n d s to ra g e in d a ta b a n k s . D u p lic a tio n o f th is p u b lic a tio n rm itte d o n ly u n d e r th e p ro v is io n s o f th e G e rm a n C o p y rig h t L a w o f S e p te m b e r 9 , 1 9 6 5 , , a n d p e r m is s io n f o r u s e m u s t a lw a y s b e o b ta in e d f r
Data Loading...
