977 resultados para Cook-Levin SAT SAT-solver
Resumo:
The poor soul sat sighing by a sycamore tree, old melody.-- It was a lover and his lass / Thomas Morley.-- She never told her love / J. Haydn.-- Blow, blow, thou winter wind / Thomas A. Arne.-- Hark! hark! the lark at heav'ins gate sings / F. Schubert.-- When daisies pied, and violets blue / Thomas A. Arne.-- Where the bee sucks, there suck I / Thomas A. Arne.-- Bid me discourse, I will chant thine ear / H.R. Bishop.-- Under the greenwood tree / Thomas A. Arne.-- Who is Silvia? what is she / F. Schubert.
Resumo:
Blank pages interspersed; advertising matter included in paging.
Resumo:
Mode of access: Internet.
Resumo:
La primera edición de esta obra se publicó en Londres con el título "An account of the voyages undertaken by the order of his present Majesty..." (London : printed for W. Strahan & T. Cadell, 1773). La segunda edición es del mismo lugar, editor y año que la primera (London: printed for W. Strahan & T. Cadell, 1773). La tercera edición inglesa es de London: W. Strahan [etc.], 1785. Este registro bibliográfico se refiere a la primera edición francesa, constituida por 4 volúmenes.
Resumo:
La primera edición de esta obra se publicó en Londres con el título "An account of the voyages undertaken by the order of his present Majesty..." (London : printed for W. Strahan & T. Cadell, 1773). La segunda edición es del mismo lugar, editor y año que la primera (London: printed for W. Strahan & T. Cadell, 1773). La tercera edición inglesa es de London: W. Strahan [etc.], 1785. Este registro bibliográfico se refiere a la primera edición francesa, constituida por 4 volúmenes.
Resumo:
MTSD 59.
Resumo:
MTSD 96.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Advertising matter: p. 239-241.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Makar Chudra. O chizhi︠e︡, kotoryĭ lgal, i o d︠ia︡tli︠e︡- li︠u︡biteli︠e︡ istiny. Emelʹi︠a︡n Pili︠a︡ĭ. D︠ie︡d Arkhip i Lenʹka. Chelkash. Starykha Izergil. Odnazhdy osenʹi︠u︡. Oshibka. Moĭ sputnik. D︠ie︡lo s zastezhkami. P︠ie︡sn︠ia︡ o so koli︠e︡. Na plotakh. Bolesʹ. Toska. -- t. 2. Konovalov. Khan i ego syn. Vyvod. Suprugi Orlovy. Byvshīe li︠u︡di. Ozornik. Barenʹka Olesova. Tovarishchi. -- t. 3. V stepi. Malʹva. I︠A︡rmarka v Goltvi︠e︡. Zazubrina. Skuki padi. Kain i Artem. Druzhki. Prokhodimet︠︡s. Chitatelʹ. O chort︠ie︡. Eshche o chort︠ie︡. Vasʹka Krasnyĭ. -- t. 4. Foma Gord︠ie︡ev. Dvad︠t︡satʹ shestʹ i odna. -- Troe. Pesn︠ia︡ o burevestnike. -- t. 6-8. Mi︠e︡shchane. Na dne. Dachniki. D︠ie︡ti soln︠t︡sa. Varvary. Vragi. -- t. 9. Chelovek. T︠iu︡rʹma. Bukoemov, Karp Ivanovich. Razskazy Filippa Vasilʹevicha. Ispovedʹ